On Belnapian modal algebras: representations, homomorphisms, congruences, and so on

DOI10.17377/SEMI.2013.10.040MaRDI QIDQ891023zbMATH OpenFDO

Authors S. O. Speranskij

Publication date 16 November 2015

Published in Sibirskie Elektronnye Matematicheskie Izvestiya (Search for Journal in Brave)

zbMATH Keywords

strong negationBelnapian modal logictwist-structuremodal algebraBelnapian modal algebramany-valued modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Varieties of lattices (06B20) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• The lattice of Belnapian modal logics: special extensions and counterparts
• Representation theorems for lattice-ordered modal algebras and their axiomatic extensions
• scientific article; zbMATH DE number 5046779
• scientific article; zbMATH DE number 7266986

Cited in

(7)

• Representation theorems for lattice-ordered modal algebras and their axiomatic extensions
• Neighbourhood semantics for FDE-based modal logics
• \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
• Belnap-Dunn modal logics: truth constants vs. truth values
• The lattice of Belnapian modal logics: special extensions and counterparts
• Algebraic semantics for Fischer Servi's version of modal logic \(\mathbf{BK}\)
• scientific article; zbMATH DE number 7266986 (Why is no real title available?)

This page was built for publication: On Belnapian modal algebras: representations, homomorphisms, congruences, and so on

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