Bitopology and four-valued logic

DOI10.1016/j.entcs.2016.09.039zbMath1394.03041OpenAlexW2527773187WikidataQ113317633 ScholiaQ113317633MaRDI QIDQ1744388

Achim Jung, Tomáš Jakl, Ales Pultr

Publication date: 23 April 2018

Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.039

zbMATH Keywords

four-valued logicbilatticesbitopological spacesd-framesnd-frames

Mathematics Subject Classification ID

Logical aspects of lattices and related structures (03G10) Many-valued logic (03B50)

Related Items (4)

A duality for two-sorted lattices ⋮ Unnamed Item ⋮ Bilattice logic properly displayed ⋮ Quasi-Nelson algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Varieties of interlaced bilattices
• Domain theory in logical form
• Handbook of philosophical logic. Vol. 6
• A duality theory for bilattices
• Reasoning with logical bilattices
• Frames and Locales
• Bilattices and the semantics of logic programming
• The structure of interlaced bilattices
• Continuous Lattices and Domains

This page was built for publication: Bitopology and four-valued logic