List questions from proof-theory

Published on 25 Mar 2026 - 14:23

169

Views

Why can't the sequent calculus for First-Order Classical Logic be used for proving decidability via Proof-search?

Published on 23 Feb 2026 - 2:56

456

Views

How do we know PA is incomparable with PRA + $\epsilon_0$?

Published on 25 Mar 2026 - 1:26

54

Views

Can $\kappa$-club is defined for any class of ordinals?

Published on 02 Mar 2019 - 4:15

83

Views

Do type constructors have type themselves?

Published on 03 Mar 2019 - 2:52

197

Views

Formalizing the deduction theorem in the metatheory

Published on 25 Mar 2026 - 9:23

608

Views

What is the most expressive logic?

Published on 06 Mar 2019 - 19:01

83

Views

How is the order of statements gives a different answer?

Published on 09 Mar 2019 - 8:51

47

Views

Is it possible to prove that propositional calculus is consistent using only its syntax?

Published on 23 Feb 2026 - 4:51

89

Views

Prove $\vdash \neg(\square F\land p)$ in $KD$

Published on 25 Mar 2026 - 6:03

171

Views

Showing $\vdash \phi\to \square \diamond \phi$

Published on 25 Mar 2026 - 4:36

262

Views

Proving that a sentence is inconsistent

Published on 25 Mar 2026 - 2:58

54

Views

classical logic - rules for quantifiers

Published on 22 Mar 2026 - 9:01

151

Views

Are proofs by "maximality" equivalent to proofs by induction?

Published on 20 Mar 2019 - 16:28

59

Views

$\vdash\neg(\square \neg p\land p\land\diamond(p\land\square p\land \diamond p) )$

Published on 25 Mar 2026 - 4:42

List Question

Metamathematics and the foundations of mathematics

Why can't the sequent calculus for First-Order Classical Logic be used for proving decidability via Proof-search?

How do we know PA is incomparable with PRA + $\epsilon_0$?

Can $\kappa$-club is defined for any class of ordinals?

Do type constructors have type themselves?

Formalizing the deduction theorem in the metatheory

What is the most expressive logic?

How is the order of statements gives a different answer?

Is it possible to prove that propositional calculus is consistent using only its syntax?

Prove $\vdash \neg(\square F\land p)$ in $KD$

Showing $\vdash \phi\to \square \diamond \phi$

Proving that a sentence is inconsistent

classical logic - rules for quantifiers

Are proofs by "maximality" equivalent to proofs by induction?

$\vdash\neg(\square \neg p\land p\land\diamond(p\land\square p\land \diamond p) )$

Trending Questions

Popular # Hahtags

Popular Questions