A+ CATEGORY SCIENTIFIC UNIT

From two- to four-valued logic

Volume 28 / 1993

Chris Brink Banach Center Publications 28 (1993), 9-16 DOI: 10.4064/-28-1-9-16

Abstract

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.

Authors

  • Chris Brink

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image