Toyooka, Masanobu, Graduate School of Letters, Hokkaido University, Japan

• The Australasian Journal of Logic Vol. 20 No. 3 (2023): The Australasian Journal of Logic - Articles
  Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic
  Abstract  PDF