A calculus for four-valued sequential logic

DOI10.1016/J.TCS.2011.02.035zbMATH Open1227.03028OpenAlexW2141989433WikidataQ62047456 ScholiaQ62047456MaRDI QIDQ549178FDOQ549178

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

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
• Process algebra with four-valued logic

zbMATH Keywords

many-valued logicfour-valued logicfinite basiscomplete axiomatisationsequential logic

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• On notation for ordinal numbers
• The value of the four values
• A propositional logic with 4 values: true, false, divergent and meaningless
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• How a Computer Should Think
• Title not available (Why is that?)
• The algebra of conditional logic

Cited In (4)

• Title not available (Why is that?)
• Encoding many-valued logic in $\lambda$-calculus
• Title not available (Why is that?)
• Title not available (Why is that?)

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)