Identities in implicative semilattices
HTML articles powered by AMS MathViewer
- by Angelo Margaris
- Proc. Amer. Math. Soc. 41 (1973), 443-448
- DOI: https://doi.org/10.1090/S0002-9939-1973-0337707-4
- PDF | Request permission
Abstract:
An effective procedure is given for deciding whether or not an equation in the theory of implicative semilattices is an identity.References
- Haskell B. Curry, Foundations of mathematical logic, McGraw-Hill Book Co., Inc., New York-San Francisco, Calif.-Toronto-London 1963. MR 0148529
- Gerhard Gentzen, The collected papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam-London, 1969. Edited by M. E. Szabo. MR 0262050
- Stephen Cole Kleene, Introduction to metamathematics, D. Van Nostrand Co., Inc., New York, N. Y., 1952. MR 0051790
Bibliographic Information
- © Copyright 1973 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 41 (1973), 443-448
- MSC: Primary 06A20
- DOI: https://doi.org/10.1090/S0002-9939-1973-0337707-4
- MathSciNet review: 0337707