Duality via Truth: Semantic frameworks for lattice-based logics

DOI10.1093/JIGPAL/JZI035MaRDI QIDQ5703741zbMATH OpenOpenAlexFDO

Authors Ewa Orłowska, Ingrid Rewitzky

Publication date 8 November 2005

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzi035

zbMATH Keywords

bounded latticedualitylattice-based logicthree-valued semanticstopological representation

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of lattices and related structures (03G10) Representation theory of lattices (06B15) Lattices and duality (06D50)

Recommendations

• Duality for lattice-ordered algebras and for normal algebraizable logics
• Dualities for structures of applied logics
• Duality via truth for information algebras based on De Morgan lattices
• Duality and canonical extensions of bounded distributive lattices with operators, and applications to the semantics of non-classical logics. II
• A duality for two-sorted lattices

Cited in

(26)

• A duality for two-sorted lattices
• Algorithmic correspondence and canonicity for non-distributive logics
• Duality results for (co)residuated lattices
• Discrete duality for Nelson algebras with tense operators
• Order-duality, negation and lattice representation
• Duality via truth for information algebras based on De Morgan lattices
• Discrete duality for 3-valued Łukasiewicz-Moisil algebras
• Algebraic methods for granular rough sets
• Algebraic representation, dualities and beyond
• Dualities for structures of applied logics
• A discrete duality between apartness algebras and apartness frames
• Discrete duality for De Morgan algebras with operators
• On polarity frames: applications to substructural and lattice-based logics
• St. Alasdair on Lattices Everywhere
• Application of Urquhart’s Representation of Lattices to Some Non–classical Logics
• Tense De Morgan S4-algebras
• Discrete dualities for groupoids
• Context Algebras, Context Frames, and Their Discrete Duality
• Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
• Discrete dualities for double Stone algebras
• Duality via truth for some fuzzy modal logic
• A categorical analysis of compatibility frames
• Discrete dualities for Monteiro's tetravalent modal algebras
• T-rough symmetric Heyting algebras with tense operators
• Representation theorems for some fuzzy logics based on residuated non-distributive lattices
• Algebras for Galois-style connections and their discrete duality

This page was built for publication: Duality via Truth: Semantic frameworks for lattice-based logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5703741)