List questions from proof-theory

Published on 18 Oct 2018 - 2:34

237

Views

Prove Logic Using Hypothetical Reasoning

Published on 18 Oct 2018 - 4:25

226

Views

Prove Logic Using Proof of Contradiction

Published on 18 Oct 2018 - 4:53

52

Views

Impossibility of a short formal proof of a famous problem

Published on 20 Oct 2018 - 14:57

53

Views

Is there a category of logical propositions and deductions?

Published on 21 Oct 2018 - 7:40

157

Views

Reasoning behind proof by contradiction

Published on 23 Oct 2018 - 2:19

70

Views

$\Sigma ; \lnot \alpha \vdash k $. Prove that $\Sigma \vdash \alpha$

Published on 25 Mar 2026 - 6:29

667

Views

Proving that $\{P_1,P_2, \dots, P_n\}$ is complete but not maximally consistent

Published on 26 Oct 2018 - 14:45

1.6k

Views

Starting with a false statement, how can one prove anything is true?

Published on 25 Mar 2026 - 6:27

170

Views

How much arithmetic is required to formalize quantifier elimination in Presburger arithmetic?

Published on 22 Mar 2026 - 16:33

222

Views

Model for the type-theoretic axiom of choice in Coq.

Published on 28 Oct 2018 - 15:56

429

Views

Are all "Theorems" necessarily in the "if - then" form?

Published on 02 Nov 2018 - 17:30

313

Views

A theory which seems to have proof-theoretic ordinal $\omega_1^{CK}$

Published on 09 Nov 2018 - 10:00

363

Views

Formal proof of $\exists x (\exists y P(y) \rightarrow P(x))$ and $(\forall x \exists y R(x,y))\rightarrow (\forall y \exists x R(y,x))$

Published on 24 Mar 2026 - 23:51

47

Views

Theorem statable in base system but not provable in base system?

Published on 22 Mar 2026 - 18:25

List Question

Proving Symbolic Logic

Prove Logic Using Hypothetical Reasoning

Prove Logic Using Proof of Contradiction

Impossibility of a short formal proof of a famous problem

Is there a category of logical propositions and deductions?

Reasoning behind proof by contradiction

$\Sigma ; \lnot \alpha \vdash k $. Prove that $\Sigma \vdash \alpha$

Proving that $\{P_1,P_2, \dots, P_n\}$ is complete but not maximally consistent

Starting with a false statement, how can one prove anything is true?

How much arithmetic is required to formalize quantifier elimination in Presburger arithmetic?

Model for the type-theoretic axiom of choice in Coq.

Are all "Theorems" necessarily in the "if - then" form?

A theory which seems to have proof-theoretic ordinal $\omega_1^{CK}$

Formal proof of $\exists x (\exists y P(y) \rightarrow P(x))$ and $(\forall x \exists y R(x,y))\rightarrow (\forall y \exists x R(y,x))$

Theorem statable in base system but not provable in base system?

Trending Questions

Popular # Hahtags

Popular Questions