From two- to four-valued logic

Tom 28 / 1993

Chris Brink 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.

Autorzy

  • Chris Brink

Przeszukaj wydawnictwa IMPAN

Zbyt krótkie zapytanie. Wpisz co najmniej 4 znaki.

Przepisz kod z obrazka

Odśwież obrazek

Odśwież obrazek