Belnap’s logic and conditional composition

We study two alternative bases for Belnap’s four-valued logic and provide complete equational axiomatizations for them. One is called conditional composition logic. It has a single, ternary if-then-else connective with a sequential, operational reading, and four constants for the truth values. The o...

Full description

Saved in:
Bibliographic Details
Published inTheoretical computer science Vol. 388; no. 1; pp. 319 - 336
Main Authors Ponse, Alban, van der Zwaag, Mark B.
Format Journal Article
LanguageEnglish
Published Amsterdam Elsevier B.V 05.12.2007
Elsevier
Subjects
Applied sciences
Artificial intelligence
Belnap’s logic
Completeness
Computer science; control theory; systems
Conditional composition
Equational axiomatizations
Exact sciences and technology
Guard logic
Miscellaneous
Problem solving, game playing
Theoretical computing
Guard logic
Conditional composition
Equational axiomatizations
Belnap’s logic
Completeness
Composition
Reading
Computer theory
Sequential method
Belnap's logic
Strategy
Logic
Canonical form
Online AccessGet full text

Cover

More Information
Summary:We study two alternative bases for Belnap’s four-valued logic and provide complete equational axiomatizations for them. One is called conditional composition logic. It has a single, ternary if-then-else connective with a sequential, operational reading, and four constants for the truth values. The other logic is called guard logic. The main motivation for this logic lies in its technical properties. It admits a useful type of canonical form (term representation), and a relatively simple strategy for equational reasoning.
ISSN:0304-3975
1879-2294
DOI:10.1016/j.tcs.2007.09.027