Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

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

deduction theorem · Vinony

EntityQ1182249· pop 14· linked from 34 articles

deduction theorem

Sign in to save

theorem

Connections

propositional calculus

first-order logic

Springer Science+Business Media

combinatory logic

conditional proof

International Standard Book Number

John von Neumann

digital object identifier

mathematical logic

Library of Congress Control Number

University of Notre Dame

lambda calculus

Stephen Cole Kleene

Categories

Deductive reasoning Metatheorems Proof theory Theorems in the foundations of mathematics

Sources

wikipedia.externallinksexternallink

What links here34 pages

material implication

What the Tortoise Said to Achilles

sequent calculus

universal generalization

cut-elimination

Heyting algebra

combinatory logic

conditional proof

logical assertion

Entscheidungsproblem

paraconsistent logic

deductive reasoning

Curry–Howard correspondence

Similar entities

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

Entitydist 0.36

double negation

Entitydist 0.41

disjunction introduction

Entitydist 0.44

disjunction elimination

Entitydist 0.49

conditional proof

Entitydist 0.50

mathematical proof

Entitydist 0.51

Entitydist 0.51

Conjunction introduction

Entitydist 0.52

Entitydist 0.54

Biconditional introduction

Entitydist 0.57

Entitydist 0.58

immediate inference

Entitydist 0.59