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. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1016/j.tcs.2011.02.035 | Theoretical Computer Science |
Keywords | DocType | Volume |
Four-valued sequential logic,Complete axiomatisation,Finite basis | Journal | 412 |
Issue | ISSN | Citations |
28 | 0304-3975 | 0 |
PageRank | References | Authors |
0.34 | 1 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Jan A. Bergstra | 1 | 1946 | 240.42 |
Jaco Van De Pol | 2 | 1022 | 78.19 |