Implicative semi-lattices
HTML articles powered by AMS MathViewer
- by William C. Nemitz PDF
- Trans. Amer. Math. Soc. 117 (1965), 128-142 Request permission
References
- Garrett Birkhoff, Lattice Theory, Revised edition, American Mathematical Society Colloquium Publications, Vol. 25, American Mathematical Society, New York, N. Y., 1948. MR 0029876
- Haskell B. Curry, Foundations of mathematical logic, McGraw-Hill Book Co., Inc., New York-San Francisco, Calif.-Toronto-London 1963. MR 0148529
- J. C. C. McKinsey and Alfred Tarski, On closed elements in closure algebras, Ann. of Math. (2) 47 (1946), 122–162. MR 15037, DOI 10.2307/1969038
- Orrin Frink, Pseudo-complements in semi-lattices, Duke Math. J. 29 (1962), 505–514. MR 140449 V. Glivenko, Sur quelques points de la logique de M. Brouwer, Bull. Acad. Sci. Belg. 15 (1929), 183-188.
- Antonio Monteiro, Axiomes indépendants pour les algèbres de Brouwer, Rev. Un. Mat. Argentina 17 (1955), 149–160 (1956) (French). MR 84483 M. H. Stone, Topological representations of distributive lattices and Brouwerian logics, Čas. Mat. Fys. 67 (1937), 1-25.
Additional Information
- © Copyright 1965 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 117 (1965), 128-142
- MSC: Primary 06.20
- DOI: https://doi.org/10.1090/S0002-9947-1965-0176944-9
- MathSciNet review: 0176944