A calculus for four-valued sequential logic

DOI10.1016/J.TCS.2011.02.035MaRDI QIDQ549178zbMATH OpenOpenAlexWikidataFDO

Authors J. 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

many-valued logicfour-valued logicfinite basiscomplete axiomatisationsequential logic

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2024293
• A propositional logic with 4 values: true, false, divergent and meaningless
• Functional Completeness and Axiomatizability within Belnap's Four-Valued Logic and its Expansions
• scientific article; zbMATH DE number 1382402
• Process algebra with four-valued logic

Cites work

• scientific article; zbMATH DE number 596497 (Why is no real title available?)
• scientific article; zbMATH DE number 2024293 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• A propositional logic with 4 values: true, false, divergent and meaningless
• How a Computer Should Think
• On notation for ordinal numbers
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• The algebra of conditional logic
• The value of the four values

Cited in

(8)

• A useful four-valued logic
• scientific article; zbMATH DE number 1382402 (Why is no real title available?)
• Proof systems for reasoning about computation errors
• A four-valued logic for reasoning about finite and infinite computation errors in programs
• scientific article; zbMATH DE number 3894981 (Why is no real title available?)
• Encoding many-valued logic in \lambda-calculus
• scientific article; zbMATH DE number 5005220 (Why is no real title available?)
• scientific article; zbMATH DE number 3891331 (Why is no real title available?)

Describes a project that uses

Uses Software

• OTTER

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549178)