Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics I
David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 64 (1):93-132 (2000)
The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics that are sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Hiroakira Ono (2003). Closure Operators and Complete Embeddings of Residuated Lattices. Studia Logica 74 (3):427 - 440.
David Hobby (1996). Semi-Demorgan Algebras. Studia Logica 56 (1-2):151 - 183.
M. Gehrke & H. A. Priestley (2007). Duality for Double Quasioperator Algebras Via Their Canonical Extensions. Studia Logica 86 (1):31 - 68.
Agostinho Almeida (2009). Canonical Extensions and Relational Representations of Lattices with Negation. Studia Logica 91 (2):171 - 199.
Claudia B. Wegener (2002). Free Modal Lattices Via Priestley Duality. Studia Logica 70 (3):339 - 352.
Alasdair Urquhart (1996). Duality for Algebras of Relevant Logics. Studia Logica 56 (1-2):263 - 276.
Chrysafis Hartonas (1997). Duality for Lattice-Ordered Algebras and for Normal Algebraizable Logics. Studia Logica 58 (3):403-450.
Alejandro Petrovich (1996). Distributive Lattices with an Operator. Studia Logica 56 (1-2):205 - 224.
Josep M. Font & Ventura Verdú (1993). The Lattice of Distributive Closure Operators Over an Algebra. Studia Logica 52 (1):1 - 13.
Sorry, there are not enough data points to plot this chart.
Added to index2009-01-28
Recent downloads (6 months)0
How can I increase my downloads?