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

DOI10.17377/SEMI.2013.10.040zbMATH Open1330.03047MaRDI QIDQ891023FDOQ891023

Authors: S. O. Speranskij 

Publication date: 16 November 2015

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

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

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)

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}\)
• Title not available (Why is that?)

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)