Question

Why do you only need to show validity in one world when using trees in institutionist/constructivist logic?

score 89 · Answer 1 · 2026-03-25 07:42:39

89

Views

Why do you only need to show validity in one world when using trees in institutionist/constructivist logic?

Published on 25 Mar 2026 - 7:42

score 340 · Answer 2 · 2026-03-23 00:50:01

340

Views

Formal notion of computational content

Published on 23 Mar 2026 - 0:50

score 199 · Answer 3 · 2026-03-25 01:12:04

199

Views

Proving the non-derivability of formula using the of the kripke model

Published on 25 Mar 2026 - 1:12

score 106 · Answer 4 · 2026-03-25 19:04:58

106

Views

Algorithm to force decidability of statements using an intuitionistic series of new axioms

Published on 25 Mar 2026 - 19:04

score 3.1k · Answer 5 · 2026-03-23 10:35:16

3.1k

Views

What does it take to divide by $2$?

Published on 23 Mar 2026 - 10:35

score 250 · Answer 6 · 2026-03-22 16:19:35

250

Views

how can I publish my log approximation formula

Published on 22 Mar 2026 - 16:19

score 191 · Answer 7 · 2026-03-23 05:01:04

191

Views

Weak (Brouwerian) Counterexample for existence of right inverse of a surjection

Published on 23 Mar 2026 - 5:01

score 177 · Answer 8 · 2026-03-22 21:02:14

177

Views

Additive Inverses are unique on the integers

Published on 22 Mar 2026 - 21:02

score 246 · Answer 9 · 2026-03-23 03:59:42

246

Views

How to construct a polynomial from a radix-term?

Published on 23 Mar 2026 - 3:59

score 452 · Answer 10 · 2026-03-22 19:37:12

452

Views

Unordered pair of proper classes

Published on 22 Mar 2026 - 19:37

score 105 · Answer 11 · 2026-03-25 15:53:02

105

Views

Is the following derivation of Gödel's Paradox generalizable to an intuitionistic one using provability?

Published on 25 Mar 2026 - 15:53

score 125 · Answer 12 · 2026-03-22 23:21:14

125

Views

How to prove that an existence statement cannot be constructive

Published on 22 Mar 2026 - 23:21

score 625 · Answer 13 · 2026-03-23 06:28:57

625

Views

Is the anti-foundation axiom considered constructive?

Published on 23 Mar 2026 - 6:28

score 86 · Answer 14 · 2019-10-14 19:40:25

86

Views

Are there statements which can be proven by contradiction but not constructively?

Published on 14 Oct 2019 - 19:40

score 417 · Answer 15 · 2019-10-23 19:54:06

417

Views

Construct Permutation with longest arithmetic progression subsequence of predefined length

Published on 23 Oct 2019 - 19:54

List Question

Why do you only need to show validity in one world when using trees in institutionist/constructivist logic?

Formal notion of computational content

Proving the non-derivability of formula using the of the kripke model

Algorithm to force decidability of statements using an intuitionistic series of new axioms

What does it take to divide by $2$?

how can I publish my log approximation formula

Weak (Brouwerian) Counterexample for existence of right inverse of a surjection

Additive Inverses are unique on the integers

How to construct a polynomial from a radix-term?

Unordered pair of proper classes

Is the following derivation of Gödel's Paradox generalizable to an intuitionistic one using provability?

How to prove that an existence statement cannot be constructive

Is the anti-foundation axiom considered constructive?

Are there statements which can be proven by contradiction but not constructively?

Construct Permutation with longest arithmetic progression subsequence of predefined length

Trending Questions

Popular # Hahtags

Popular Questions