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 |
-
Faculty of Science (FNWI) - Informatics Institute (IVI)
|
| 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
|
|
Permalink to this page
|
Back
