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

complete axiomatisationfinite basisfour-valued logicmany-valued logicsequential logic

Mathematics Subject Classification ID

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

Review text

In [``A propositional logic with 4 values: true, false, divergent and meaningless, J. Appl. Non-Class. Log. 5, No. 2, 199--217 (1995; Zbl 0843.03012)], \textit{J. A. Bergstra, I. Bethke} and \textit{P. Rodenburg} introduced a four-valued logic to deal with the distinction between computation errors (e.g., divergence versus mistakes) in specification and programming. The current paper presents a complete finite equational axiomatisation of a sequential logic with four values based on that logic. Thereby ``sequential means that arguments are evaluated from left to right, until an answer is obtained.

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

• A propositional logic with 4 values: true, false, divergent and meaningless
• How a Computer Should Think
• 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?)
• 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

(9)

• Proof systems for reasoning about computation errors
• Modeling the interaction of computer errors by four-valued contaminating logics
• A four-valued logic for reasoning about finite and infinite computation errors in programs
• A useful four-valued logic
• scientific article; zbMATH DE number 3891331 (Why is no real title available?)
• scientific article; zbMATH DE number 5005220 (Why is no real title available?)
• scientific article; zbMATH DE number 1382402 (Why is no real title available?)
• Encoding many-valued logic in \lambda-calculus
• scientific article; zbMATH DE number 3894981 (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)