\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics

DOI10.1007/s11225-012-9380-4zbMath1283.03090MaRDI QIDQ454381

E. I. Latkin, Sergei P. Odintsov

Publication date: 1 October 2012

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-012-9380-4

zbMATH Keywords

lattice of subvarieties; Belnapian modal logic; BK-lattice; twist-structure

Mathematics Subject Classification ID

08B15: Lattices of varieties

03B45: Modal logic (including the logic of norms)

03G10: Logical aspects of lattices and related structures

Related Items

BELNAP–DUNN MODAL LOGICS: TRUTH CONSTANTS VS. TRUTH VALUES, Hoop twist-structures, Disentangling \textsf{FDE}-based paraconsistent modal logics, Modal extension of ideal paraconsistent four-valued logic and its subsystem, Implicative twist-structures, Paraconsistent Modal Logics, The lattice of Belnapian modal logics: Special extensions and counterparts, Modelling Sources of Inconsistent Information in Paraconsistent Modal Logic, On a multilattice analogue of a hypersequent S5 calculus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• On axiomatizing Shramko-Wansing's logic
• Distributive lattices with a dual homomorphic operation
• Intuitionistic logic with strong negation
• Notes on \(\eta\)-lattices and constructive logic with strong negation
• Distributive lattices with an additional unary operation
• On extensions of intermediate logics by strong negation
• On the representation of \(\mathbf{N4}\)-lattices
• N-lattices and constructive logic with strong negation
• MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
• Twist-structures semantics for the logics of the hierarchy IⁿP^k
• Constructible falsity and inexact predicates
• Algebraizable logics
• Algebraic Semantics for Paraconsistent Nelson's Logic
• Constructible falsity