- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Stone duality for lattice expansions
Logic Journal of the IGPL 26 (5):475-504 (2018)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Duality for lattice-ordered algebras and for normal algebraizable logics.Chrysafis Hartonas - 1997 - Studia Logica 58 (3):403-450.
Weak-quasi-Stone algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
Weak‐quasi‐Stone algebras.Sergio A. Celani & Leonardo M. Cabrer - 2009 - Mathematical Logic Quarterly 55 (3):288-298.
Congruence Lattices of Semilattices with Operators.Jennifer Hyndman, J. B. Nation & Joy Nishida - 2016 - Studia Logica 104 (2):305-316.
Distributive Lattices with a Negation Operator.Sergio Arturo Celani - 1999 - Mathematical Logic Quarterly 45 (2):207-218.
Priestley duality for some subalgebra lattices.Georges Hansoul - 1996 - Studia Logica 56 (1-2):133 - 149.
Duality for the Logic of Quantum Actions.Jort M. Bergfeld, Kohei Kishida, Joshua Sack & Shengyang Zhong - 2015 - Studia Logica 103 (4):781-805.
Canonicity results of substructural and lattice-based logics.Tomoyuki Suzuki - 2011 - Review of Symbolic Logic 4 (1):1-42.
Stone-Type Representations and Dualities for Varieties of Bisemilattices.Antonio Ledda - 2018 - Studia Logica 106 (2):417-448.
Quasi‐Stone algebras.Nalinaxi H. Sankappanavar & Hanamantagouda P. Sankappanavar - 1993 - Mathematical Logic Quarterly 39 (1):255-268.
Birkhoff-like sheaf representation for varieties of lattice expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
A simplified duality for implicative lattices and l-groups.Nestor G. Martinez - 1996 - Studia Logica 56 (1-2):185 - 204.
Algebraic and Kripke Semantics for Substructural Logics.Chrysafis Hartonas - 1994 - Dissertation, Indiana University
Duality via Truth: Semantic frameworks for lattice-based logics.Ewa Orlowska & Ingrid Rewitzky - 2005 - Logic Journal of the IGPL 13 (4):467-490.
A Duality for the Algebras of a Łukasiewicz n + 1-valued Modal System.Bruno Teheux - 2007 - Studia Logica 87 (1):13-36.
Analytics
Added to PP
2018-04-27
Downloads
26 (#463,167)
6 months
2 (#319,848)
2018-04-27
Downloads
26 (#463,167)
6 months
2 (#319,848)
Historical graph of downloads
Citations of this work
Algorithmic correspondence and canonicity for non-distributive logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.
Canonical Extensions and Kripke–Galois Semantics for Non-distributive Logics.Chrysafis Hartonas - 2018 - Logica Universalis 12 (3-4):397-422.
Lattice logic as a fragment of (2-sorted) residuated modal logic.Chrysafis Hartonas - 2019 - Journal of Applied Non-Classical Logics 29 (2):152-170.
Modal translation of substructural logics.Chrysafis Hartonas - 2020 - Journal of Applied Non-Classical Logics 30 (1):16-49.
Duality Results for (Co)Residuated Lattices.Chrysafis Hartonas - 2019 - Logica Universalis 13 (1):77-99.
References found in this work
Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Algorithmic correspondence and canonicity for non-distributive logics.Willem Conradie & Alessandra Palmigiano - 2019 - Annals of Pure and Applied Logic 170 (9):923-974.
Order-Dual Relational Semantics for Non-distributive Propositional Logics: A General Framework.Chrysafis Hartonas - 2018 - Journal of Philosophical Logic 47 (1):67-94.
Order- dual realational semantics for non-distributive propositional logics.Chrysafis Hartonas - 2017 - Logic Journal of the IGPL 25 (2):145-182.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-5b5888c749-qlr2k N