Connections
propositional calculus
Entity
three-state logic
Entity
substructural logic
Entity
mathematics
Entity
philosophy
Entity
International Standard Book Number
Entity
real number
Entity
digital object identifier
Entity
recursion
Entity
fuzzy logic
Entity
Alfred Tarski
Entity
countable set
Entity
Jan Łukasiewicz
Entity
tautology
Entity
VHDL
Entity
principle of excluded middle
Entity
modal logic
Entity
first-order logic
Entity
lattice
Entity
ontology
Entity