A propositional logic with 4 values: true, false, divergent and meaningless
From MaRDI portal
Publication:4868228
DOI10.1080/11663081.1995.10510855zbMath0843.03012MaRDI QIDQ4868228
Jan A. Bergstra, Inge Bethke, 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 logic; equational theory; 4-valued logic; complete axiomatizations; 3-valued Bochvar-Finn calculus; survey of 3-valued propositional logics
03B50: Many-valued logic
Related Items
Process algebra with four-valued logic, Bochvar-McCarthy logic and process algebra, Inversive meadows and divisive meadows, A calculus for four-valued sequential logic, A generalization of ACP using Belnap's logic, Execution architectures for program algebra, On dynamically non-trivial three-valued logics: Oscillatory and bifurcatory species, Propositional compositions of partial predicates, Process algebra and conditional composition, Molecular dynamics, Belnap's logic and conditional composition
Cites Work