Question

Sequent calculus for classical propositional logic without ⊤ and ⊥

score 76 · Answer 1 · 2026-02-24 00:06:47

76

Views

Sequent calculus for classical propositional logic without ⊤ and ⊥

Published on 24 Feb 2026 - 0:06

score 117 · Answer 2 · 2026-03-26 14:19:44

117

Views

Do Hindley-Milner theories have a Deduction Theorem?

Published on 26 Mar 2026 - 14:19

score 603 · Answer 3 · 2022-08-02 20:52:32

603

Views

Strong Induction vs Weak Induction

Published on 02 Aug 2022 - 20:52

score 48 · Answer 4 · 2022-08-04 09:37:44

48

Views

$\omega$-consistency, and representability of provable sentences

Published on 04 Aug 2022 - 9:37

score 62 · Answer 5 · 2026-02-24 00:08:27

62

Views

Understanding when to use rules in sequent calculus

Published on 24 Feb 2026 - 0:08

score 195 · Answer 6 · 2022-08-04 16:54:47

195

Views

An alternative, formal proof that $(\lnot\forall xPx)\to(\exists y(\lnot Py)).$

Published on 04 Aug 2022 - 16:54

score 44 · Answer 7 · 2022-08-07 16:03:09

44

Views

Do I need association and substitution in order to deduce this equation from the two equations given?

Published on 07 Aug 2022 - 16:03

score 110 · Answer 8 · 2026-03-26 16:10:12

110

Views

Are ZFC and Formal Number theory already built upon the intuitive notion of set and natural number?

Published on 26 Mar 2026 - 16:10

score 52 · Answer 9 · 2022-08-28 09:51:31

52

Views

Inductive case choice when proving by induction

Published on 28 Aug 2022 - 9:51

score 38 · Answer 10 · 2022-09-09 22:23:12

38

Views

Proof by Contradiction with Definition of odd Issue with Z domain

Published on 09 Sep 2022 - 22:23

score 126 · Answer 11 · 2022-09-12 18:24:42

126

Views

How do we formally define powers/exponentiation in the theory of the reals?

Published on 12 Sep 2022 - 18:24

score 72 · Answer 12 · 2022-09-26 06:00:07

72

Views

Prove that if P(A) = P(A,B), then A is a subset of B.

Published on 26 Sep 2022 - 6:00

score 87 · Answer 13 · 2022-10-05 19:48:27

87

Views

F is a field that contains 4 elements {0,1,a,b} , given ab=1, prove that a^2 = b

Published on 05 Oct 2022 - 19:48

score 64 · Answer 14 · 2022-10-05 20:18:05

64

Views

Having trouble with this proof

Published on 05 Oct 2022 - 20:18

score 44 · Answer 15 · 2022-10-10 18:55:24

Without angle measure, how to I prove that if a ray bisects a vertical angle on one side that it's opposite ray bisects the other side?

List Question

Sequent calculus for classical propositional logic without ⊤ and ⊥

Do Hindley-Milner theories have a Deduction Theorem?

Strong Induction vs Weak Induction

$\omega$-consistency, and representability of provable sentences

Understanding when to use rules in sequent calculus

An alternative, formal proof that $(\lnot\forall xPx)\to(\exists y(\lnot Py)).$

Do I need association and substitution in order to deduce this equation from the two equations given?

Are ZFC and Formal Number theory already built upon the intuitive notion of set and natural number?

Inductive case choice when proving by induction

Proof by Contradiction with Definition of odd Issue with Z domain

How do we formally define powers/exponentiation in the theory of the reals?

Prove that if P(A) = P(A,B), then A is a subset of B.

F is a field that contains 4 elements {0,1,a,b} , given ab=1, prove that a^2 = b

Having trouble with this proof

Without angle measure, how to I prove that if a ray bisects a vertical angle on one side that it's opposite ray bisects the other side?

Trending Questions

Popular # Hahtags

Popular Questions