Free modal lattices via Priestley duality
Studia Logica 70 (3):339 - 352 (2002)
| Abstract | A Priestley duality is developed for the variety j of all modal lattices. This is achieved by restricting to j a known Priestley duality for the variety of all bounded distributive lattices with a meet-homomorphism. The variety j was first studied by R. Beazer in 1986.The dual spaces of free modal lattices are constructed, paralleling P.R. Halmos'' construction of the dual spaces of free monadic Boolean algebras and its generalization, by R. Cignoli, to distributive lattices with a quantifier. | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGeorges Hansoul (1996). Priestley Duality for Some Subalgebra Lattices. Studia Logica 56 (1-2):133 - 149.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Viorica Sofronie-Stokkermans (2000). Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I. Studia Logica 64 (1):93-132.
Alasdair Urquhart (1979). Distributive Lattices with a Dual Homomorphic Operation. Studia Logica 38 (2):201 - 209.
Alasdair Urquhart (1996). Duality for Algebras of Relevant Logics. Studia Logica 56 (1-2):263 - 276.
David Hobby (1996). Semi-Demorgan Algebras. Studia Logica 56 (1-2):151 - 183.
Brian A. Davey & Miroslav Haviar (2004). Applications of Priestley Duality in Transferring Optimal Dualities. Studia Logica 78 (1-2):213 - 236.
Guram Bezhanishvili & Ramon Jansana (2011). Priestley Style Duality for Distributive Meet-Semilattices. Studia Logica 98 (1-2):83-122.
Roberto Cignoli (1996). Free Q-Distributive Lattices. Studia Logica 56 (1-2):23 - 29.
Alejandro Petrovich (1996). Distributive Lattices with an Operator. Studia Logica 56 (1-2):205 - 224.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,930 of 549,088 )Recent downloads (6 months)1 ( #63,317 of 549,088 )How can I increase my downloads? |
My notes
Discussion
