Semi-demorgan algebras
Studia Logica 56 (1-2):151 - 183 (1996)
| Abstract | Semi-DeMorgan algebras are a common generalization of DeMorgan algebras and pseudocomplemented distributive lattices. A duality for them is developed that builds on the Priestley duality for distributive lattices. This duality is then used in several applications. The subdirectly irreducible semi-DeMorgan algebras are characterized. A theory of partial diagrams is developed, where properties of algebras are tied to the omission of certain partial diagrams from their duals. This theory is then used to find and give axioms for the largest variety of semi-DeMorgan algebras with the congruence extension property. | |||||||||
| 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,705 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJie Fang (2008). Ockham Algebras with Balanced Double Pseudocomplementation. Studia Logica 90 (2):189 - 209.
Brian A. Davey & Miroslav Haviar (2004). Applications of Priestley Duality in Transferring Optimal Dualities. Studia Logica 78 (1-2):213 - 236.
Alasdair Urquhart (1996). Duality for Algebras of Relevant Logics. Studia Logica 56 (1-2):263 - 276.
H. P. Sankappanavar (2011). Expansions of Semi-Heyting Algebras I: Discriminator Varieties. Studia Logica 98 (1-2):27-81.
Nguyen Cat Ho & Helena Rasiowa (1987). Subalgebras and Homomorphisms of Semi-Post Algebras. Studia Logica 46 (2):161 - 175.
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Nguyen Cat Ho & Helena Rasiowa (1989). Plain Semi-Post Algebras as a Poset-Based Generalization of Post Algebras and Their Representability. Studia Logica 48 (4):509 - 530.
Alejandro Petrovich (1996). Distributive Lattices with an Operator. Studia Logica 56 (1-2):205 - 224.
Nguyen Cat Ho & Helena Rasiowa (1987). Semi-Post Algebras. Studia Logica 46 (2):149 - 160.
Cândida Palma & Raquel Santos (2001). Principal Congruences on Semi-de Morgan Algebras. Studia Logica 67 (1):75-88.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads5 ( #160,483 of 549,500 )Recent downloads (6 months)1 ( #63,397 of 549,500 )How can I increase my downloads? |
My notes
Discussion
