A propositional logic with 4 values: true, false, divergent and meaningless
From MaRDI portal
Publication:4868228
DOI10.1080/11663081.1995.10510855zbMath0843.03012OpenAlexW2109246080MaRDI QIDQ4868228
Inge Bethke, Jan A. Bergstra, P. H. Rodenburg
Publication date: 15 August 1996
Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/11663081.1995.10510855
3-valued logicequational theory4-valued logiccomplete axiomatizations3-valued Bochvar-Finn calculussurvey of 3-valued propositional logics
Related Items (23)
Kleene's three-valued logic and process algebra ⋮ Evaluation Trees for Proposition Algebra ⋮ Unifying Theories of Undefinedness in UTP ⋮ Preferences in artificial intelligence ⋮ A generalization of ACP using Belnap's logic ⋮ Partial arithmetical data types of rational numbers and their equational specification ⋮ Execution architectures for program algebra ⋮ Inversive meadows and divisive meadows ⋮ An independent axiomatisation for free short-circuit logic ⋮ On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species ⋮ Generalizing functional completeness in Belnap-Dunn logic ⋮ Belnap's logic and conditional composition ⋮ Bochvar-McCarthy logic and process algebra ⋮ A calculus for four-valued sequential logic ⋮ Process algebra with four-valued logic ⋮ On the structure of \(C\)-algebras through atomicity and \texttt{if-then-else} ⋮ Encoding many-valued logic in $\lambda$-calculus ⋮ Propositional compositions of partial predicates ⋮ Non-commutative propositional logic with short-circuit evaluation ⋮ Molecular dynamics ⋮ A Generalization of ACP Using Belnap's Logic ⋮ Process algebra and conditional composition ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests
Cites Work
This page was built for publication: A propositional logic with 4 values: true, false, divergent and meaningless
