zbMATH — the first resource for mathematics

Injective and projective Heyting algebras. (English) Zbl 0199.32203

PDF BibTeX Cite
Full Text: DOI
[1] Garrett Birkhoff, Lattice theory, Third edition. American Mathematical Society Colloquium Publications, Vol. XXV, American Mathematical Society, Providence, R.I., 1967. · Zbl 0153.02501
[2] Haskell B. Curry, Foundations of mathematical logic, McGraw-Hill Book Co., Inc., New York-San Francisco, Calif.-Toronto-London, 1963. · Zbl 0108.00104
[3] Paul R. Halmos, Lectures on Boolean algebras, Van Nostrand Mathematical Studies, No. 1, D. Van Nostrand Co., Inc., Princeton, N.J., 1963. · Zbl 0114.01603
[4] J. C. C. McKinsey and Alfred Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122 – 162. · Zbl 0060.06207
[5] Iwao Nishimura, On formulas of one variable in intuitionistic propositional calculus., J. Symbolic Logic 25 (1960), 327 – 331 (1962). · Zbl 0108.00302
[6] Helena Rasiowa and Roman Sikorski, The mathematics of metamathematics, Monografie Matematyczne, Tom 41, Państwowe Wydawnictwo Naukowe, Warsaw, 1963. · Zbl 0239.02002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.