From two- to four-valued logic
Tom 28 / 1993
Banach Center Publications 28 (1993), 9-16
DOI: 10.4064/-28-1-9-16
Streszczenie
The purpose of this note is to show that a known and natural four-valued logic co-exists with classical two-valued logic in the familiar context of truth tables. The tool required is the power construction.
