A calculus for four-valued sequential logic

DOI10.1016/j.tcs.2011.02.035zbMath1227.03028OpenAlexW2141989433WikidataQ62047456 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

zbMATH Keywords

finite basismany-valued logicfour-valued logiccomplete axiomatisationsequential logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Many-valued logic (03B50)

Related Items (1)

Encoding many-valued logic in $\lambda$-calculus

Uses Software

• OTTER

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

This page was built for publication: A calculus for four-valued sequential logic