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

dualitybounded latticetopological representationthree-valued semanticslattice-based logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Representation theory of lattices (06B15) Logical aspects of lattices and related structures (03G10) 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

(25)

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

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)