\(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
type: Item
instance of: scholarly article
title: \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics
zbMATH Open document ID: 1283.03090
author: S. P. Odintsov
author: E. I. Latkin
published in: Studia Logica
publication date: 2012-10-01T00:00:00Z
Mathematics Subject Classification ID: 03G10
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 08B15
zbMATH DE Number: 6088855
zbMATH Keywords: BK-lattice
zbMATH Keywords: twist-structure
zbMATH Keywords: lattice of subvarieties
zbMATH Keywords: Belnapian modal logic
MaRDI profile type: Publication
full work available at URL: s11225-012-9380-4
OpenAlex ID: W1992888677
cites work: Constructible falsity and inexact predicates
cites work: Distributive lattices with an additional unary operation
cites work: Algebraizable logics
cites work: Intuitionistic logic with strong negation
cites work: On extensions of intermediate logics by strong negation
cites work: Constructible falsity
cites work: Algebraic Semantics for Paraconsistent Nelson's Logic
cites work: On the representation of \(\mathbf{N4}\)-lattices
cites work: On axiomatizing Shramko-Wansing's logic
cites work: Q2901198
cites work: Q3518425
cites work: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH
cites work: Twist-structures semantics for the logics of the hierarchy InPk
cites work: N-lattices and constructive logic with strong negation
cites work: Q3858239
cites work: Distributive lattices with a dual homomorphic operation
cites work: Notes on \(\eta\)-lattices and constructive logic with strong negation
DOI: 10.1007/S11225-012-9380-4
description: scientific article; zbMATH DE number 6088855