Studia Logica 70 (3):339 - 352 (2002)
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||Philosophy Logic Mathematical Logic and Foundations Computational Linguistics|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Priestley Duality for Some Subalgebra Lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
Duality and Canonical Extensions of Bounded Distributive Lattices with Operators, and Applications to the Semantics of Non-Classical Logics I.Viorica Sofronie-Stokkermans - 2000 - Studia Logica 64 (1):93-132.
Distributive Lattices with a Dual Homomorphic Operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Duality for Algebras of Relevant Logics.Alasdair Urquhart - 1996 - Studia Logica 56 (1-2):263 - 276.
Applications of Priestley Duality in Transferring Optimal Dualities.Brian A. Davey & Miroslav Haviar - 2004 - Studia Logica 78 (1-2):213 - 236.
Priestley Style Duality for Distributive Meet-Semilattices.Guram Bezhanishvili & Ramon Jansana - 2011 - Studia Logica 98 (1-2):83-122.
Added to index2009-01-28
Total downloads9 ( #448,008 of 2,146,888 )
Recent downloads (6 months)1 ( #385,700 of 2,146,888 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.