algebra universalis

February 1984, Volume 18, Issue 1, pp 110–116 | Cite as

Products of finitely based varieties of Brouwerian semilattices

• Authors
• Authors and affiliations

• Ute Zimmermann
• Peter Köhler

Article

Received: 30 November 1981

Accepted: 10 August 1982

• 17 Downloads
• 1 Citations

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

References

1. [1]
   K. A. Baker,Finite equational bases for finite algebras in a congruence-distributive equational class, Advances in Math.24 (1977), 207–243.Google Scholar
2. [2]
   P. Köhler,The semigroup of varieties of Brouwerian semilattices, Trans. Amer. Math. Soc.241 (1978), 331–342.Google Scholar
3. [3]
   P. Köhler,Brouwerian semilattices, Trans. Amer. Math. Soc.268 (1981), 103–126.Google Scholar
4. [4]
   W. C. Nemitz,Implicative semi-lattices, Trans. Amer. Math. Soc.117 (1965), 128–142.Google Scholar
5. [5]
   W. C. Nemitz, andT. Whaley,Varieties of implicative semi-lattices II, Pacific J. Math.45 (1973), 303–311.Google Scholar
6. [6]
   H. Rasiowa,An algebraic approach to non-classical logics, Amsterdam-London-New York (North Holland) 1974.Google Scholar
7. [7]
   A. Wroński,The degree of completeness of some fragments of the intuitionistic propositional logic, Rep. Math. Logic2 (1974), 55–61.Google Scholar
8. [8]
   U.Zimmermann,Gleichungsbasen von Produktvarietäten Brouwerscher Halbverbände, Staatsexamensarbeit Giessen 1981 (unpublished).Google Scholar

Copyright information

© Birkhäuser Verlag 1984

Authors and Affiliations

• Ute Zimmermann
• Peter Köhler

There are no affiliations available