The B4-valued propositional Belnap-Dunn logic1

DOI10.3233/IFS-151548zbMath1352.03034OpenAlexW1452922364MaRDI QIDQ2953495

Yuefei Sui, Bo Chen, Cun-Gen Cao

Publication date: 4 January 2017

Published in: Journal of Intelligent & Fuzzy Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/ifs-151548

zbMATH Keywords

completenesssoundnessBelnap-Dunn logicunary connective

Mathematics Subject Classification ID

Many-valued logic (03B50)

Cites Work

• Implicational classes of De Morgan lattices
• Reasoning with logical bilattices
• Belnap's Four-Valued Logic and De Morgan Lattices
• Process algebra with four-valued logic
• Characterizing Belnap's Logic via De Morgan's Laws
• A Generalization of ACP Using Belnap's Logic
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The B4-valued propositional Belnap-Dunn logic1