Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic

DOI10.26686/AJL.V20I3.7696arXiv2207.07416OpenAlexW4387818823MaRDI QIDQ6058202

Katsuhiko Sano, Unnamed Author

Publication date: 31 October 2023

Published in: The Australasian Journal of Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2207.07416

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

This page was built for publication: Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic