A calculus for four-valued sequential logic
| Authors |
|
|---|---|
| Publication date | 2011 |
| Journal | Theoretical Computer Science |
| Volume | Issue number | 412 | 28 |
| Pages (from-to) | 3122-3128 |
| Organisations |
|
| 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. |
| Document type | Article |
| Language | English |
| Published at |
https://doi.org/10.1016/j.tcs.2011.02.035
(Final published version)
|
| Permalink to this page | |
