Remote Access Proceedings of the American Mathematical Society
Green Open Access

Proceedings of the American Mathematical Society

ISSN 1088-6826(online) ISSN 0002-9939(print)



Identities in implicative semilattices

Author: Angelo Margaris
Journal: Proc. Amer. Math. Soc. 41 (1973), 443-448
MSC: Primary 06A20
MathSciNet review: 0337707
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: An effective procedure is given for deciding whether or not an equation in the theory of implicative semilattices is an identity.

References [Enhancements On Off] (What's this?)

  • [1] H. B. Curry, Foundations of mathematical logic, McGraw-Hill, New York, 1963. MR 26 #6036. MR 0148529 (26:6036)
  • [2] Gerhard Gentzen, Untersuchungen über das logische Schliessen, Math. Z. 39 (1934/35), 176-210, 405-431; English transl., in M. E. Szabo, The collected papers of Gerhard Gentzen, Studies in Logic and the Foundations of Math., North-Holland, Amsterdam, 1969, pp. 68-103. MR 41 #6660. MR 0262050 (41:6660)
  • [3] S. C. Kleene, Introduction to metamathematics, Van Nostrand, New York, 1952. MR 14, 525. MR 0051790 (14:525m)

Similar Articles

Retrieve articles in Proceedings of the American Mathematical Society with MSC: 06A20

Retrieve articles in all journals with MSC: 06A20

Additional Information

Keywords: Decision procedure, identity, implicative semilattice
Article copyright: © Copyright 1973 American Mathematical Society

American Mathematical Society