Concept

Four-valued logic

Overview

A four-valued logic is any logic with four truth values. Several types of four-valued logic have been advanced. The most common, particularly in electronics, is the IEEE standard 0, 1, X, Z (see Verilog for information about it).

Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).

Philosophers who discussed Four-valued logic

• Nuel Belnap

Related ideas

• Gilbert Ryle
• Nuel Belnap
• Negation
• Dana Scott
• Logical conjunction
• Logical connective
• Power set
• Subset
• Bit
• Logic
• Syllogism
• Boolean algebra
• Principle of explosion
• Logical disjunction
• Lattice (order)

Place in the tradition

Part of Many-valued logic.

Explore Four-valued logic in the interactive graph →