Publication:4273480
From MaRDI portal
zbMath0783.03008MaRDI QIDQ4273480
Publication date: 23 January 1994
3-valued logic; free spectrum; conditional logics; short-circuit evaluation; non-commutative regular extension of Boolean logic
03B50: Many-valued logic
Related Items