Related terms:
law of excluded middle
intuitionistic logic
classical logic
true and false
laws of thought
intuitionistic
intuitionism
reprinted with commentary
constructive proof
law of identity
wedge c
jan brouwer
tautologies
brouwer
ackermann
same thing
provable
stephen cole kleene
fuzzy subset
definite description
Wikipedia sources:
Law of excluded middle
Principle of bivalence
Law of thought
Law of noncontradiction
Luitzen Egbertus Jan Brouwer
Counterfactual conditional
Many-valued logic
Intuitionistic logic
Logic
Intuitionism
Constructive proof
Heyting algebra
David Hilbert
Principle
Theory of descriptions
Non-classical logic
Natural deduction
Context for words:
excluded
middle
|
|