1996 | OriginalPaper | Chapter
Combining Classical and Intuitionistic Logic
Or: Intuitionistic Implication as a Conditional
Authors : Luis Fariñas del Cerro, Andreas Herzig
Published in: Frontiers of Combining Systems
Publisher: Springer Netherlands
Included in: Professional Book Archive
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.