×

zbMATH — the first resource for mathematics

Implicative semi-lattices. (English) Zbl 0128.24804

PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Garrett Birkhoff, Lattice Theory, American Mathematical Society Colloquium Publications, vol. 25, revised edition, American Mathematical Society, New York, N. Y., 1948. · Zbl 0033.10103
[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] J. C. C. McKinsey and Alfred Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122 – 162. · Zbl 0060.06207
[4] Orrin Frink, Pseudo-complements in semi-lattices, Duke Math. J. 29 (1962), 505 – 514. · Zbl 0114.01602
[5] V. Glivenko, Sur quelques points de la logique de M. Brouwer, Bull. Acad. Sci. Belg. 15 (1929), 183-188. · JFM 55.0030.05
[6] Antonio Monteiro, Axiomes indépendants pour les algèbres de Brouwer, Rev. Un. Mat. Argentina 17 (1955), 149 – 160 (1956) (French). · Zbl 0072.25004
[7] M. H. Stone, Topological representations of distributive lattices and Brouwerian logics, Čas. Mat. Fys. 67 (1937), 1-25. · Zbl 0018.00303
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.