List questions from proof-theory

Published on 25 Mar 2026 - 2:58

2.4k

Views

Proving the distributive law with natural deduction

Published on 25 Mar 2026 - 3:07

806

Views

Does Gödel's incompleteness theorem invoke a Law of Excluded Middle contradiction?

Published on 25 Mar 2026 - 1:17

91

Views

Assumptions necessary to justify the method of proof by contradiction.

Published on 11 Sep 2018 - 22:41

1.7k

Views

Why and how is logic related to set theory?

Published on 25 Mar 2026 - 4:39

87

Views

Prove $\Sigma \vdash \lnot(\phi \rightarrow \psi)$ iff $\Sigma \vdash \phi$ and $\Sigma \vdash \lnot \psi.$

Published on 23 Feb 2026 - 1:21

451

Views

Proving soundness property of a Hilbert system

Published on 22 Mar 2026 - 18:46

655

Views

Does natural deduction require a non-empty set of premises?

Published on 25 Mar 2026 - 3:07

1k

Views

Is many sorted logic really a unifying logic?

Published on 23 Mar 2026 - 10:37

180

Views

How can any proof of Gödel's incompleteness theorem be accepted considering systems of mathematics themselves are incomplete?

Published on 25 Mar 2026 - 1:20

113

Views

Can meta-languages disagree over what an object language proves?

Published on 12 Oct 2018 - 9:25

127

Views

Do there exist true statements with only one proof?

Published on 15 Oct 2018 - 22:49

56

Views

Can a sequent be valid if the conclusion contains atoms that are not in the premise?

Published on 25 Mar 2026 - 5:07

129

Views

Need help for a proof ( sequent calculus )

Published on 19 Mar 2026 - 21:21

101

Views

Symbolic Logic Proof?

Published on 18 Oct 2018 - 0:41

List Question

Can we be sure proofs have no errors?

Proving the distributive law with natural deduction

Does Gödel's incompleteness theorem invoke a Law of Excluded Middle contradiction?

Assumptions necessary to justify the method of proof by contradiction.

Why and how is logic related to set theory?

Prove $\Sigma \vdash \lnot(\phi \rightarrow \psi)$ iff $\Sigma \vdash \phi$ and $\Sigma \vdash \lnot \psi.$

Proving soundness property of a Hilbert system

Does natural deduction require a non-empty set of premises?

Is many sorted logic really a unifying logic?

How can any proof of Gödel's incompleteness theorem be accepted considering systems of mathematics themselves are incomplete?

Can meta-languages disagree over what an object language proves?

Do there exist true statements with only one proof?

Can a sequent be valid if the conclusion contains atoms that are not in the premise?

Need help for a proof ( sequent calculus )

Symbolic Logic Proof?

Trending Questions

Popular # Hahtags

Popular Questions