Discrete Dualities for Double Stone Algebras
Studia Logica 99 (1-3):127-142 (2011)
| Abstract | We present two discrete dualities for double Stone algebras. Each of these dualities involves a different class of frames and a different definition of a complex algebra. We discuss relationships between these classes of frames and show that one of them is a weakening of the other. We propose a logic based on double Stone algebras | |||||||||
| 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 articlesH. A. Priestley (1995). Natural Dualities for Varieties Ofn-Valued Łukasiewicz Algebras. Studia Logica 54 (3):333 - 370.
B. A. Davey & H. A. Priestley (2012). Canonical Extensions and Discrete Dualities for Finitely Generated Varieties of Lattice-Based Algebras. Studia Logica 100 (1-2):137-161.
A. B. Romanowska & J. D. H. Smith (1996). Semilattice-Based Dualities. Studia Logica 56 (1-2):225 - 261.
David M. Clark (1989). The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras. Journal of Symbolic Logic 54 (2):363-375.
T. S. Blyth & Jie Fang (2007). Congruence Coherent Symmetric Extended de Morgan Algebras. Studia Logica 87 (1):51 - 63.
M. Gehrke & H. A. Priestley (2007). Duality for Double Quasioperator Algebras Via Their Canonical Extensions. Studia Logica 86 (1):31 - 68.
B. A. Davey & H. A. Priestley (1996). Optimal Natural Dualities for Varieties of Heyting Algebras. Studia Logica 56 (1-2):67 - 96.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Jie Fang (2008). Ockham Algebras with Balanced Double Pseudocomplementation. Studia Logica 90 (2):189 - 209.
Hernando Gaitán (2000). Priestley Duality for Quasi-Stone Algebras. Studia Logica 64 (1):83-92.
Júlia Vaz de Carvalho (2010). On the Variety of M -Generalized Łukasiewicz Algebras of Order N. Studia Logica 94 (2).
P. Garcia & F. Esteva (1995). On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras. Studia Logica 55 (2):319 - 346.
Carl G. Jockusch Jr & Robert I. Soare (1994). Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. Journal of Symbolic Logic 59 (4):1121 - 1138.
Carl G. Jockusch Jr & Robert I. Soare (1994). Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. Journal of Symbolic Logic 59 (4):1121 - 1138.
Sergio A. Celani & Hernán J. San Martín (2012). Frontal Operators in Weak Heyting Algebras. Studia Logica 100 (1-2):91-114.
Analytics
Monthly downloads |
Added to index2011-08-27Total downloads2 ( #232,575 of 549,128 )Recent downloads (6 months)1 ( #63,361 of 549,128 )How can I increase my downloads? |
My notes
Discussion
