Cite
Semantic Incompleteness of del Cerro and Herzig's Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic.
MLA
Masanobu Toyooka, and Katsuhiko Sano. “Semantic Incompleteness of Del Cerro and Herzig’s Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic.” Australasian Journal of Logic, vol. 20, no. 3, June 2023, pp. 397–411. EBSCOhost, https://doi.org/10.26686/ajl.v20i3.7696.
APA
Masanobu Toyooka, & Katsuhiko Sano. (2023). Semantic Incompleteness of del Cerro and Herzig’s Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic. Australasian Journal of Logic, 20(3), 397–411. https://doi.org/10.26686/ajl.v20i3.7696
Chicago
Masanobu Toyooka, and Katsuhiko Sano. 2023. “Semantic Incompleteness of Del Cerro and Herzig’s Hilbert System for a Combination of Classical and Intuitionistic Propositional Logic.” Australasian Journal of Logic 20 (3): 397–411. doi:10.26686/ajl.v20i3.7696.