The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
type: Item
instance of: scholarly article
title: The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
zbMATH Open document ID: 1404.03022
author: Wei Li
author: Yuefei Sui
published in: Frontiers of Computer Science
publication date: 2019-01-22T00:00:00Z
Mathematics Subject Classification ID: 03B50
zbMATH DE Number: 7004930
zbMATH Keywords: Belnap logic
zbMATH Keywords: modality
zbMATH Keywords: soundness
zbMATH Keywords: completeness
MaRDI profile type: Publication
full work available at URL: s11704-016-5299-7
OpenAlex ID: W2620839530
cites work: Q3206928
cites work: Kleene's three-valued logic and process algebra
cites work: Process algebra with four-valued logic
cites work: A Generalization of ACP Using Belnap's Logic
cites work: Mathematical logic. Foundations for information science
cites work: On Priest's logic of paradox
cites work: Characterizing Belnap's Logic via De Morgan's Laws
cites work: Implicational classes of De Morgan lattices
cites work: Belnap's Four-Valued Logic and De Morgan Lattices
cites work: A treatise on many-valued logics
cites work: Q4789456
DOI: 10.1007/S11704-016-5299-7
Recommended article: The B4-valued propositional Belnap-Dunn logic1
Recommended article: Four-Valued Logics BD and DM4: Expansions
Recommended article: Q3086715
Recommended article: The expressive unary truth functions of \(n\)-valued logic
Recommended article: Belnap's Four-Valued Logic and De Morgan Lattices
Recommended article: Four-valued expansions of Dunn-Belnap's logic (I): Basic characterizations
Recommended article: Q4461705
Recommended article: Q3567773
Recommended article: Bitopology and four-valued logic
Recommended article: Relational semantics for the 4-valued relevant logics BN4 and E4
description: scientific article; zbMATH DE number 7004930