Duality for lattice-ordered algebras and for normal algebraizable logics
From MaRDI portal
Publication:1368914
DOI10.1023/A:1004982417404zbMath0886.06002OpenAlexW1519705629MaRDI QIDQ1368914
Publication date: 10 May 1998
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1004982417404
dualitytopological representationalgebraic semanticslattice-ordered algebrasKripke-style semanticscanonical frames
Representation theory of lattices (06B15) Algebraic logic (03G99) Ordered rings, algebras, modules (06F25)
Related Items
Canonical extensions and Kripke-Galois semantics for non-distributive logics ⋮ The distributivity on bi-approximation semantics ⋮ Disjunction and negation in information based semantics ⋮ Duality for modal \(\mu\)-logics ⋮ First-order frames for orthomodular quantum logic ⋮ Duality results for (co)residuated lattices ⋮ Duality for normal lattice expansions and sorted residuated frames with relations ⋮ Proper semantics for substructural logics, from a stalker theoretic point of view ⋮ Choice-free topological duality for implicative lattices and Heyting algebras ⋮ B-frame duality ⋮ Order-dual relational semantics for non-distributive propositional logics: a general framework ⋮ Unnamed Item ⋮ Lattice logic as a fragment of (2-sorted) residuated modal logic ⋮ Topological duality and lattice expansions. I: A topological construction of canonical extensions. ⋮ Topological duality and lattice expansions. II: Lattice expansions with quasioperators. ⋮ Reasoning with Incomplete Information in Generalized Galois Logics Without Distribution: The Case of Negation and Modal Operators ⋮ A “Reply” to My “Critics” ⋮ Dedekind–MacNeille completion and Cartesian product of multi-adjoint lattices ⋮ Bounded lattice expansions ⋮ A SAHLQVIST THEOREM FOR SUBSTRUCTURAL LOGIC ⋮ Modal translation of substructural logics
This page was built for publication: Duality for lattice-ordered algebras and for normal algebraizable logics