Question

There does not exist an even prime greater than two: is there an intuitionistic proof?

score 187 · Answer 1 · 2021-04-28 20:08:50

187

Views

There does not exist an even prime greater than two: is there an intuitionistic proof?

Published on 28 Apr 2021 - 20:08

score 57 · Answer 2 · 2026-02-23 06:54:25

57

Views

Modal Heyting Algebras

Published on 23 Feb 2026 - 6:54

score 551 · Answer 3 · 2021-05-08 18:57:03

551

Views

Constructive proof that any two natural numbers are either equal or not equal

Published on 08 May 2021 - 18:57

score 118 · Answer 4 · 2021-05-21 18:24:28

118

Views

Superintuitionistic logics weaker then classical logic

Published on 21 May 2021 - 18:24

score 77 · Answer 5 · 2021-05-22 12:41:59

77

Views

Is there intuitionistic proof that $B \setminus (B \setminus A) = A$ for any sets $A \subseteq B$?

Published on 22 May 2021 - 12:41

score 121 · Answer 6 · 2021-05-28 20:12:25

121

Views

Is it not wrong that intuitionistic logic is hard to convey?

Published on 28 May 2021 - 20:12

score 542 · Answer 7 · 2021-06-03 15:53:48

542

Views

Is modal logic S4 translatable into intuitionistic logic? If not, what modal system is?

Published on 03 Jun 2021 - 15:53

score 119 · Answer 8 · 2021-06-11 01:07:00

119

Views

Is the formula $\neg\neg\forall x (\neg P(x) \,\vee\, \neg\neg P(x))$ provable in intuitionistic logic?

Published on 11 Jun 2021 - 1:07

score 87 · Answer 9 · 2021-06-13 03:17:57

87

Views

Are below sentences held in intuitionistic logic?

Published on 13 Jun 2021 - 3:17

score 103 · Answer 10 · 2026-02-23 07:01:03

103

Views

$(p\rightarrow q)\vee (q\rightarrow r)$ imply peirce's law in intuitionistic logic?

Published on 23 Feb 2026 - 7:01

score 97 · Answer 11 · 2021-06-24 02:14:39

97

Views

If $A \to 1$ is an epimorphism in a well-pointed topos, does $A$ have a global element?

Published on 24 Jun 2021 - 2:14

score 97 · Answer 12 · 2021-07-15 20:44:44

97

Views

A finite axiomatization for intuitionistic implicational logic.

Published on 15 Jul 2021 - 20:44

score 127 · Answer 13 · 2021-08-07 02:00:23

127

Views

Does the class of all topologies work as a semantics for IPC?

Published on 07 Aug 2021 - 2:00

score 96 · Answer 14 · 2021-08-07 19:13:53

96

Views

Exercise verification: No topology over a finite set generates as a set of theorems precisely the intuitionistic tautologies.

Published on 07 Aug 2021 - 19:13

score 142 · Answer 15 · 2026-03-25 14:25:10

142

Views

In homotopy type theory, what is this "mechanical way to create a new expression F' now depending on t' and an equivalence between F(T) and F'(T')"?

Published on 25 Mar 2026 - 14:25

List Question

There does not exist an even prime greater than two: is there an intuitionistic proof?

Modal Heyting Algebras

Constructive proof that any two natural numbers are either equal or not equal

Superintuitionistic logics weaker then classical logic

Is there intuitionistic proof that $B \setminus (B \setminus A) = A$ for any sets $A \subseteq B$?

Is it not wrong that intuitionistic logic is hard to convey?

Is modal logic S4 translatable into intuitionistic logic? If not, what modal system is?

Is the formula $\neg\neg\forall x (\neg P(x) \,\vee\, \neg\neg P(x))$ provable in intuitionistic logic?

Are below sentences held in intuitionistic logic?

$(p\rightarrow q)\vee (q\rightarrow r)$ imply peirce's law in intuitionistic logic?

If $A \to 1$ is an epimorphism in a well-pointed topos, does $A$ have a global element?

A finite axiomatization for intuitionistic implicational logic.

Does the class of all topologies work as a semantics for IPC?

Exercise verification: No topology over a finite set generates as a set of theorems precisely the intuitionistic tautologies.

In homotopy type theory, what is this "mechanical way to create a new expression F' now depending on t' and an equivalence between F(T) and F'(T')"?

Trending Questions

Popular # Hahtags

Popular Questions