Varieties of complex algebras
Annals of Pure and Applied Logic 44 (3):173-242 (1989)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Persistence and atomic generation for varieties of Boolean algebras with operators.Robert Goldblatt - 2001 - Studia Logica 68 (2):155-171.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Semisimplicity, EDPC and discriminator varieties of residuated lattices.Tomasz Kowalski - 2004 - Studia Logica 77 (2):255 - 265.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Free łukasiewicz and hoop residuation algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Amalgamation in varieties of pseudo-interior algebras.Barbara Klunder - 2003 - Studia Logica 73 (3):431 - 443.
Analytics
Added to PP
2014-01-16
Downloads
22 (#521,730)
6 months
1 (#448,551)
2014-01-16
Downloads
22 (#521,730)
6 months
1 (#448,551)
Historical graph of downloads
Citations of this work
Multi-Dimensional Modal Logic.Maarten Marx - 1996 - Dordrecht, Netherland: Kluwer Academic Publishers.
Elementary canonical formulae: extending Sahlqvist’s theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
Derivation rules as anti-axioms in modal logic.Yde Venema - 1993 - Journal of Symbolic Logic 58 (3):1003-1034.
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.
References found in this work
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
The theory of Representations for Boolean Algebras.M. H. Stone - 1936 - Journal of Symbolic Logic 1 (3):118-119.
