Studia Logica 58 (3):403-450 (1997)
Part I of this paper is developed in the tradition of Stone-type dualities, where we present a new topological representation for general lattices (influenced by and abstracting over both Goldblatt's  and Urquhart's ), identifying them as the lattices of stable compact-opens of their dual Stone spaces (stability refering to a closure operator on subsets). The representation is functorial and is extended to a full duality.In part II, we consider lattice-ordered algebras (lattices with additional operators), extending the Jónsson and Tarski representation results  for Boolean algebras with Operators. Our work can be seen as developing, and indeed completing, Dunn's project of gaggle theory [13, 14]. We consider general lattices (rather than Boolean algebras), with a broad class of operators, which we dubb normal, and which includes the Jónsson-Tarski additive operators. Representation of l-algebras is extended to full duality.
|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
Order-Dual Relational Semantics for Non-Distributive Propositional Logics: A General Framework.Chrysafis Hartonas - forthcoming - Journal of Philosophical Logic:1-28.
Modal and Temporal Extensions of Non-Distributive Propositional Logics.Chrysafis Hartonas - 2016 - Logic Journal of the IGPL 24 (2):156-185.
Proper Semantics for Substructural Logics, From a Stalker Theoretic Point of View.Sato Kentaro - 2008 - Studia Logica 88 (2):295-324.
A Sahlqvist Theorem for Substructural Logic.Tomoyuki Suzuki - 2013 - Review of Symbolic Logic 6 (2):229-253.
Similar books and articles
Distributive Lattices with a Dual Homomorphic Operation.Alasdair Urquhart - 1979 - Studia Logica 38 (2):201 - 209.
Varieties of Monadic Heyting Algebras Part II: Duality Theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Distributive Lattices with an Operator.Alejandro Petrovich - 1996 - Studia Logica 56 (1-2):205 - 224.
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.
Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties.Francesco Paoli, Matthew Spinks & Robert Veroff - 2008 - Logica Universalis 2 (2):209-233.
On Ockham Algebras: Congruence Lattices and Subdirectly Irreducible Algebras.P. Garcia & F. Esteva - 1995 - Studia Logica 55 (2):319 - 346.
Functorial Duality for Ortholattices and de Morgan Lattices.Katalin Bimbó - 2007 - Logica Universalis 1 (2):311-333.
Added to index2009-01-28
Total downloads37 ( #138,360 of 2,164,249 )
Recent downloads (6 months)1 ( #348,039 of 2,164,249 )
How can I increase my downloads?