Duality via Truth: Semantic frameworks for lattice-based logics

DOI10.1093/jigpal/jzi035zbMath1080.03008OpenAlexW2091877404MaRDI QIDQ5703741

Ewa S. 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

dualitytopological representationbounded latticethree-valued semanticslattice-based logic

Mathematics Subject Classification ID

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

Related Items (15)

Representation theorems for some fuzzy logics based on residuated non-distributive lattices ⋮ Tense De Morgan S4-algebras ⋮ Duality results for (co)residuated lattices ⋮ Discrete duality for Nelson algebras with tense operators ⋮ Discrete duality for 3-valued Łukasiewicz–Moisil algebras ⋮ Discrete dualities for double Stone algebras ⋮ Discrete duality for De Morgan Algebras with operators ⋮ Algebraic Methods for Granular Rough Sets ⋮ Algebraic Representation, Dualities and Beyond ⋮ Algebras for Galois-style connections and their discrete duality ⋮ Algorithmic correspondence and canonicity for non-distributive logics ⋮ Unnamed Item ⋮ A discrete duality between apartness algebras and apartness frames ⋮ Context Algebras, Context Frames, and Their Discrete Duality ⋮ St. Alasdair on Lattices Everywhere

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