Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Books Food Places Asteroids Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

natural deduction · Vinony

🌐English

English Bahasa Indonesia Deutsch Español Français Italiano Nederlands Polski Português Svenska Русский فارسی 한국어 中文日本語

EntityQ1572108· pop 22· linked from 396 articles

natural deduction

kind of proof calculus

Available in 19 languages

Español
Français
Deutsch
中文
日本語
Русский
Português
Italiano
Bahasa Indonesia
Finnish
Nederlands

Connections

intuitionistic type theory

parametric polymorphism

Categories

Deductive reasoning Harv and Sfn no-target errors Logical calculi Methods of proof Proof theory

Sources

wikipedia.externallinksexternallink

via Wikidata sitelinks · CC0

semantic theory of truth

Entity

mathematical logic

principle of excluded middle

first-order logic

universal quantification

existential quantification

rule of inference

semantics of logic

cut-elimination

Sign in to save

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

negation as failure

Entitydist 0.56

Church–Rosser theorem

Entitydist 0.63

rule of replacement

Entitydist 0.65

existential graph

Entitydist 0.67

tree-adjoining grammar

Entitydist 0.67

Category:Theorems in mathematical physics

Entitydist 0.69

parsing expression grammar

Entitydist 0.69

Entitydist 0.70

dynamic and formal equivalence

Entitydist 0.72

Entitydist 0.72

Greibach normal form

Entitydist 0.72

Entitydist 0.73

What links here396 pages

logical harmony

elementary equivalence

Cantor's paradox

three-valued logic

Mostowski collapse lemma

computer-assisted proof

continuum hypothesis

Church encoding

superseded scientific theory

logical contradiction

combinatory categorial grammar

proof of impossibility

Stanisław Jaśkowski

proof assistant