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...
Saved in:
Published in | Theoretical computer science Vol. 388; no. 1; pp. 319 - 336 |
---|---|
Main Authors | , |
Format | Journal Article |
Language | English |
Published |
Amsterdam
Elsevier B.V
05.12.2007
Elsevier |
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |