Combining Classical and Intuitionistic Logic
- 157 Downloads
We study how a logic C+J conbining classical logic C and intuitionistic logic J can be defined. We show that its Hilbert axiomatization cannot be attained by simply extending the union of the axiomatizations of C and J by so called interaction axioms. Such a logic would collapse into classical logic.
Unable to display preview. Download preview PDF.
- L. Catach (1988), Normal multimodal logics. Proc. Nat. Conf. on AI (AAAI-88), pp 491–495.Google Scholar
- M. Kracht (1993), How completeness and correspondence theory got married. In: M. de Rijke (ed.), Diamonds and Defaults. Synthese, Kluwer.Google Scholar
- D. Nute (1984), Conditional logic. In Dov M. Gabbay and Franz Guenthner (eds.), Handbook of Philosophical Logic. D. Reidel, Dordrecht.Google Scholar