natural deduction
Sign in to savekind of proof calculus
Wikidata facts
Show 1 more fact
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/natural-deduction
Sources (3)
via Wikidata · CC0
Connections
intuitionistic type theory
Entity
parametric polymorphism
Entity
semantic theory of truth
Entity
axiom
Entity
mathematical logic
Entity
countable set
Entity
principle of excluded middle
Entity
first-order logic
Entity
formal grammar
Entity
formal system
Entity
universal quantification
Entity
existential quantification
Entity
rule of inference
Entity
recursive set
Entity
semantics of logic
Entity
structure
Entity
dependent type
Entity
cut-elimination
Entity
normal form
Entity
diagram
Entity