Ockham algebras with balanced double pseudocomplementation
Studia Logica 90 (2):189 - 209 (2008)
| Abstract | In this paper, we introduce a variety bdO of Ockham algebras with balanced double pseudocomplementation, consisting of those algebras of type where is an Ockham algebra, is a double p -algebra, and the operations and are linked by the identities [ f ( x )]* = [ f ( x )] + = f 2 ( x ), f ( x *) = x ** and f ( x + ) = x ++ . We give a description of the congruences on the algebras, and show that there are precisely nine non-isomorphic subdirectly irreducible members in the class of the algebras via the Priestley duality. We also describe all axioms in the variety bdO , and provide a characterization of all subvarieties of bdO determined by 12 none-equivalent axioms, identifying therein the biggest subvariety in which every principal congruence is complemented. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRadomí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.
Ivo Düntsch & Ewa Orłowska (2011). Discrete Dualities for Double Stone Algebras. Studia Logica 99 (1-3):127-142.
David Hobby (1996). Semi-Demorgan Algebras. Studia Logica 56 (1-2):151 - 183.
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.
Teresa Almada & JÚlia Vaz de Carvalho (2001). A Generalization of the Łukasiewicz Algebras. Studia Logica 69 (3):329-338.
Júlia Vaz de Carvalho (2010). On the Variety of M -Generalized Łukasiewicz Algebras of Order N. Studia Logica 94 (2).
T. S. Blyth & J. Fang (2011). On Endomorphisms of Ockham Algebras with Pseudocomplementation. Studia Logica 98 (1-2):237-250.
T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
Lei-Bo Wang (2010). Congruences on a Balanced Pseudocomplemented Ockham Algebra Whose Quotient Algebras Are Boolean. Studia Logica 96 (3):421-431.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads10 ( #106,239 of 549,066 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
