References
Anderson, J.G.: Superconstructive propositional calculi with extra axiom shema containing one variable. Z. Math. Logik Grundlagen Math.18, 113–130 (1972)
Bellissima, F.: Finitely generated free Heyting algebras. J. Symb. Logic52, 152–165 (1986)
Bellissima, F.: Finite and finitely separable intermediate propositional logics. J. Symb. Logic53, 403–420 (1988)
Gabbay, D.H., De Jongh, D.H.J.: A sequence of decidable finitely axiomatizable intermediate lopics with the disjunction property. J. Symb. Logic39, 67–78 (1974)
Gödel, K.: Eine Interpretation des intuitionischen Aussagenkalkuls. Erg. Math. Kolloq.4, 39–40 (1933)
Kleene, S.C.: Introduction to Metamathematics. Princeton: Van Nostrand 1952
Lukasiewicz, J.: On the intuitionistic theory of deduction. Indagationes. Math.14, 202–212 (1952)
McKinsey, J.C., Tarski, A.: Some theorems about the sentential calculi of Lewis and Heyting. J. Symb. Logic13, 1–15 (1948)
Nishimura, I.: On formulas in one variable in intuitionistic propositional calculus. J. Symb. Logic25, 327–331 (1960)
Ono, H.: Some results on the intermediate logics. Publ. Res. Inst. Math. Sci.8, 619–649 (1972/73)
Segerberg, K.: An essay in classical modal logic. Uppsala: Filosofiska Studier 1971
Sperner, E.: Ein Satz über Untermengen einer endlichen Menge. Math. Z.27, 544–548 (1928)
Wronski, A.: Intermediate logics and the disjunction property. Rep. Math. Logic.1, 39–51 (1973)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Bellissima, F. Two classes of intermediate propositional logics without disjunction property. Arch Math Logic 28, 23–33 (1989). https://doi.org/10.1007/BF01624080
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01624080