Stone duality for lattice expansions

Logic Journal of the IGPL 26 (5):475-504 (2018)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzy010

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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
31 (#530,378)

6 months
4 (#855,130)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
B-frame duality.Guillaume Massas - 2023 - Annals of Pure and Applied Logic 174 (5):103245.

View all 7 citations / Add more citations

References found in this work

Logics without the contraction rule.Hiroakira Ono & Yuichi Komori - 1985 - Journal of Symbolic Logic 50 (1):169-201.
Generalized Kripke Frames.Mai Gehrke - 2006 - Studia Logica 84 (2):241-275.
Lattice Theory.Garrett Birkhoff - 1940 - Journal of Symbolic Logic 5 (4):155-157.

View all 15 references / Add more references