On 2nd order intuitionistic propositional calculus with full comprehension

  • Dov M. Gabbay


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Görnemann, S.: A logic stronger than intuitionism.JSL 1971, pp. 249–262.Google Scholar
  2. [2]
    Gabbay, D. M.: Applications of trees of intermediate logics.JSL 1972, pp. 135–138.Google Scholar
  3. [3]
    Gabbay, D. M.: Sufficient conditions for the undecidability of an intuitionistic theory.JSL 1972, pp. 375–384.Google Scholar
  4. [4]
    Gabbay, D. M.: The undecidability of the intuitionistic theories of algebraically closed and real closed fields.JSL 1973, pp. 86–92.Google Scholar
  5. [5]
    Gabbay, D.M.: Decidability of some intuitionistic predicate calcul.JSL 1972, pp. 579–587.Google Scholar
  6. [6]
    Fine, K.: Propositional quantifiers in modal logic.Theoria, Vol. 36, 1970, pp. 336–346.Google Scholar
  7. [7]
    Schütte, K.:Vollständige Systeme modaler und intuitionistischer Logik. Springer 1968.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1974

Authors and Affiliations

  • Dov M. Gabbay
    • 1
  1. 1.Stanford UniversityUSA

Personalised recommendations