List questions from proof-theory

Published on 27 Mar 2026 - 0:56

135

Views

Finite Ramsey theorem in arithmetic

Published on 25 Mar 2026 - 20:33

101

Views

How to "gödelize" the number 11?

Published on 20 Sep 2019 - 17:27

526

Views

What is the definition of an embedding of one logic in another?

Published on 25 Mar 2026 - 6:12

379

Views

Shortest FOL deduction for $\forall x \forall y(x = y \to y = x)$

Published on 25 Mar 2026 - 16:02

140

Views

Strongest tools to detect unsoundness

Published on 24 Mar 2026 - 23:42

132

Views

Proving $A \to \exists x B \Rightarrow \exists x (A\to B)$ if $x$ is not free in $A$

Published on 27 Sep 2019 - 1:38

280

Views

What's a Logic?

Published on 27 Mar 2026 - 22:59

120

Views

Girard's System $F$ (also named Polymorphism)

Published on 11 Mar 2014 - 23:15

2.6k

Views

Who stole the axioms in Natural Deduction?

Published on 25 Mar 2026 - 16:02

241

Views

Proof for $\{p,p\rightarrow (q\rightarrow r)\}\vdash (p\rightarrow q)\rightarrow r$ in HR

Published on 16 Mar 2014 - 17:06

144

Views

Help with positive- and negative-forms in Proof Theory

Published on 16 Mar 2014 - 19:37

121

Views

Introduction to functional interpretations

Published on 20 Mar 2014 - 18:05

194

Views

Probability of 2 identical events

Published on 29 Mar 2014 - 18:00

366

Views

What are those "things that cannot be proved using only ordinary rules of inference"?

Published on 31 Mar 2014 - 10:05

List Question

Shoenfield introductory mathematical logic book alternatives

Finite Ramsey theorem in arithmetic

How to "gödelize" the number 11?

What is the definition of an embedding of one logic in another?

Shortest FOL deduction for $\forall x \forall y(x = y \to y = x)$

Strongest tools to detect unsoundness

Proving $A \to \exists x B \Rightarrow \exists x (A\to B)$ if $x$ is not free in $A$

What's a Logic?

Girard's System $F$ (also named Polymorphism)

Who stole the axioms in Natural Deduction?

Proof for $\{p,p\rightarrow (q\rightarrow r)\}\vdash (p\rightarrow q)\rightarrow r$ in HR

Help with positive- and negative-forms in Proof Theory

Introduction to functional interpretations

Probability of 2 identical events

What are those "things that cannot be proved using only ordinary rules of inference"?

Trending Questions

Popular # Hahtags

Popular Questions