The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)

DOI10.1007/S11704-016-5299-7zbMath1404.03022OpenAlexW2620839530MaRDI QIDQ1712572

Wei Li, Yuefei Sui

Publication date: 22 January 2019

Published in: Frontiers of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11704-016-5299-7

zbMATH Keywords

completenessmodalitysoundnessBelnap logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kleene's three-valued logic and process algebra
• Implicational classes of De Morgan lattices
• Belnap's Four-Valued Logic and De Morgan Lattices
• Process algebra with four-valued logic
• Characterizing Belnap's Logic via De Morgan's Laws
• On Priest's logic of paradox
• A Generalization of ACP Using Belnap's Logic
• Mathematical logic. Foundations for information science

This page was built for publication: The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)