A calculus for four-valued sequential logic
From MaRDI portal
Publication:549178
DOI10.1016/j.tcs.2011.02.035zbMath1227.03028WikidataQ62047456 ScholiaQ62047456MaRDI QIDQ549178
Jan A. Bergstra, Jaco van de Pol
Publication date: 7 July 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://research.utwente.nl/en/publications/a-calculus-for-fourvalued-sequential-logic(cc7a0320-5be0-416a-a89d-7cf89e0ff39b).html
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The algebra of conditional logic
- Partial evaluation and \(\omega\)-completeness of algebraic specifications
- The value of the four values
- How a Computer Should Think
- A propositional logic with 4 values: true, false, divergent and meaningless
- On notation for ordinal numbers