| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 434961 | Theoretical Computer Science | 2011 | 7 Pages |
Abstract
We present a complete axiomatisation for four-valued sequential logic. It consists of nine axioms, from which all valid laws can be derived by equational reasoning. These nine axioms are independent of each other.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
