Bitopology and four-valued logic

DOI10.1016/J.ENTCS.2016.09.039MaRDI QIDQ1744388zbMATH OpenOpenAlexWikidataFDO

Authors Tomáš Jakl, Achim Jung, A. Pultr

Publication date 23 April 2018

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

zbMATH Keywords

bilatticesbitopological spacesd-framesfour-valued logicnd-frames

Mathematics Subject Classification ID

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

Recommendations

• Kripke semantics for modal bilattice logic
• Bipolarity in bilattice logics
• scientific article; zbMATH DE number 6157349
• Two, three, four, infinity: the path to the four-valued logic and beyond
• scientific article; zbMATH DE number 4057054

Cites work

• A duality theory for bilattices
• Bilattices and the semantics of logic programming
• Continuous Lattices and Domains
• Domain theory in logical form
• Frames and Locales
• Handbook of philosophical logic. Vol. 6
• scientific article; zbMATH DE number 3648682 (Why is no real title available?)
• scientific article; zbMATH DE number 3635472 (Why is no real title available?)
• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Reasoning with logical bilattices
• The structure of interlaced bilattices
• Varieties of interlaced bilattices

Cited in

(14)

• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
• A duality for two-sorted lattices
• Bilattice logic properly displayed
• Quasi-Nelson algebras
• scientific article; zbMATH DE number 5670199 (Why is no real title available?)
• Bipolarity in bilattice logics
• scientific article; zbMATH DE number 475182 (Why is no real title available?)
• scientific article; zbMATH DE number 2024293 (Why is no real title available?)
• Weakly semi-I-open sets in ideal bitopological spaces
• Kripke semantics for modal bilattice logic
• Nelson algebras, residuated lattices and rough sets: A survey
• Nelson conuclei and nuclei: the twist construction beyond involutivity
• D-Boolean algebras and their bitopological representation
• Pastable Kleene-based algebras

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

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