Combining Classical and Intuitionistic Logic

Or: Intuitionistic Implication as a Conditional
Part of the Applied Logic Series book series (APLS, volume 3)


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.

Unable to display preview. Download preview PDF.


  1. L. Catach (1988), Normal multimodal logics. Proc. Nat. Conf. on AI (AAAI-88), pp 491–495.Google Scholar
  2. B. Chellas (1975), Basic conditional logics. Journal of Philosophical Logic 4, pp 133–153.CrossRefzbMATHMathSciNetGoogle Scholar
  3. M. Fitting (1983), Proof methods for modal and intuitionistic logics. Synthese Library, Vol. 169, D. Reidel Publishing Company, Dordrecht.CrossRefGoogle Scholar
  4. D. Gabbay (1996), Labelled Deductive Systems. Oxford University Press, to appear.zbMATHGoogle Scholar
  5. L. Humberstone (1979), Interval semantics for tense logic: some remarks. Journal of Philosophical Logic 8, pp 171–196.CrossRefzbMATHMathSciNetGoogle Scholar
  6. M. Kracht (1993), How completeness and correspondence theory got married. In: M. de Rijke (ed.), Diamonds and Defaults. Synthese, Kluwer.Google Scholar
  7. S. Kripke (1965), Semantical analysis of intuitionistic logic, I. In: J. N. Crossley, M. A. E. Dummet (eds.), Formal systems and recursive functions. Amsterdam, North Holland Publishing Co., pp 92–129.CrossRefGoogle Scholar
  8. D. Ladner (1977), The computational complexity of provability in systems of modal propositional logic. SIAM J. Computing 3, pp. 467–480.CrossRefMathSciNetGoogle Scholar
  9. D. Nute (1980), Topics in conditional logic. Philosophical Studies Series, D. Reidel, Dordrecht.CrossRefGoogle Scholar
  10. D. Nute (1984), Conditional logic. In Dov M. Gabbay and Franz Guenthner (eds.), Handbook of Philosophical Logic. D. Reidel, Dordrecht.Google Scholar
  11. R. Statman (1979), Intuitionistic propositional logic is polynomial-space complete. Theoretical Computer Science 9, pp 67–72. CrossRefzbMATHMathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1996

Authors and Affiliations

  1. 1.IRITUniversité Paul SabatierToulouseFrance

Personalised recommendations