Graduate studies at Western
Studia Logica 55 (2):319 - 346 (1995)
|Abstract||Distributive bounded lattices with a dual homomorphism as unary operation, called Ockham algebras, were firstly studied by Berman (1977). The varieties of Boolean algebras, De Morgan algebras, Kleene algebras and Stone algebras are some of the well known subvarieties of Ockham algebra. In this paper, new results about the congruence lattice of Ockham algebras are given. From these results and Urquhart's representation theorem for Ockham algebras a complete characterization of the subdirectly irreducible Ockham algebras is obtained. These results are particularized for a large number of subvarieties of Ockham algebras. For these subvarieties a full description of their subdirectly irreducible algebras is given as well.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
Richard Holzer (2004). On Subdirectly Irreducible OMAs. Studia Logica 78 (1-2):261 - 277.
Lei-Bo Wang (2010). Congruences on a Balanced Pseudocomplemented Ockham Algebra Whose Quotient Algebras Are Boolean. Studia Logica 96 (3):421-431.
T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
Radomír Halaš (2008). The Variety of Lattice Effect Algebras Generated by MV-Algebras and the Horizontal Sum of Two 3-Element Chains. Studia Logica 89 (1):19 - 35.
David Hobby (1996). Semi-Demorgan Algebras. Studia Logica 56 (1-2):151 - 183.
Hector Gramaglia & Diego Vaggione (1996). Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions. Studia Logica 56 (1-2):111 - 131.
M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz (2000). Varieties of Three-Valued Heyting Algebras with a Quantifier. Studia Logica 65 (2):181-198.
Alejandro Petrovich (1996). Distributive Lattices with an Operator. Studia Logica 56 (1-2):205 - 224.
Jie Fang (2008). Ockham Algebras with Balanced Double Pseudocomplementation. Studia Logica 90 (2):189 - 209.
Added to index2009-01-28
Total downloads20 ( #68,535 of 755,029 )
Recent downloads (6 months)1 ( #63,372 of 755,029 )
How can I increase my downloads?