Question

Is $\neg \neg \forall \neg \neg A \leftrightarrow \forall \neg \neg A$ intuitionistic derviable?

score 69 · Answer 1 · 2016-02-28 17:34:35

69

Views

Is $\neg \neg \forall \neg \neg A \leftrightarrow \forall \neg \neg A$ intuitionistic derviable?

Published on 28 Feb 2016 - 17:34

score 2.3k · Answer 2 · 2016-03-15 02:55:36

2.3k

Views

Are all computable functions continuous or vice-versa?

Published on 15 Mar 2016 - 2:55

score 4.3k · Answer 3 · 2026-02-23 03:00:56

4.3k

Views

How do I find an inverse of any element in any group?

Published on 23 Feb 2026 - 3:00

score 192 · Answer 4 · 2016-04-13 12:11:07

192

Views

Proof that Henkin extension by constants is conservative over intuitionistic theories

Published on 13 Apr 2016 - 12:11

score 636 · Answer 5 · 2016-04-18 19:54:09

636

Views

Intuitionistic Real Analysis?

Published on 18 Apr 2016 - 19:54

score 103 · Answer 6 · 2016-04-29 08:23:21

103

Views

Show that for propositional logic $\vdash_i \neg \varphi \Leftrightarrow \vdash_c \neg \varphi$.

Published on 29 Apr 2016 - 8:23

score 242 · Answer 7 · 2016-05-01 16:55:07

242

Views

Is $(\neg q \rightarrow \neg p) \rightarrow (p \rightarrow q)$ equivalent to $p \vee \neg p$ in intuitionistic logic?

Published on 01 May 2016 - 16:55

score 248 · Answer 8 · 2016-05-12 08:44:27

248

Views

How do you visualize $\mathcal{P}(1)$ in constructive mathematics?

Published on 12 May 2016 - 8:44

score 886 · Answer 9 · 2016-05-29 09:48:44

886

Views

Intuitionistic logic plus $A → B \lor C \vdash ( A → B ) \lor ( A → C )$

Published on 29 May 2016 - 9:48

score 281 · Answer 10 · 2016-06-01 22:18:15

281

Views

All translations of classical logic into intuitionistic logic

Published on 01 Jun 2016 - 22:18

score 134 · Answer 11 · 2016-06-09 06:36:28

134

Views

Simple model of (propositional) intuitionistic logic to recognize valid formulas

Published on 09 Jun 2016 - 6:36

score 1.3k · Answer 12 · 2016-06-15 12:19:08

1.3k

Views

Is double negation introduction an axiom of intuitionistic logic or can it be derived?

Published on 15 Jun 2016 - 12:19

score 563 · Answer 13 · 2016-06-15 19:49:04

563

Views

What exactly is the role of the material conditional in intuitionistic logic?

Published on 15 Jun 2016 - 19:49

score 167 · Answer 14 · 2016-06-17 14:30:49

167

Views

Is there a name for the propositional tautology (and it's associated rule) $Q\Rightarrow(P\Rightarrow Q)$?

Published on 17 Jun 2016 - 14:30

score 913 · Answer 15 · 2016-06-17 18:17:21

913

Views

Is it possible to eliminate a contradiction without recourse to the principle of explosion?

Published on 17 Jun 2016 - 18:17

List Question

Is $\neg \neg \forall \neg \neg A \leftrightarrow \forall \neg \neg A$ intuitionistic derviable?

Are all computable functions continuous or vice-versa?

How do I find an inverse of any element in any group?

Proof that Henkin extension by constants is conservative over intuitionistic theories

Intuitionistic Real Analysis?

Show that for propositional logic $\vdash_i \neg \varphi \Leftrightarrow \vdash_c \neg \varphi$.

Is $(\neg q \rightarrow \neg p) \rightarrow (p \rightarrow q)$ equivalent to $p \vee \neg p$ in intuitionistic logic?

How do you visualize $\mathcal{P}(1)$ in constructive mathematics?

Intuitionistic logic plus $A → B \lor C \vdash ( A → B ) \lor ( A → C )$

All translations of classical logic into intuitionistic logic

Simple model of (propositional) intuitionistic logic to recognize valid formulas

Is double negation introduction an axiom of intuitionistic logic or can it be derived?

What exactly is the role of the material conditional in intuitionistic logic?

Is there a name for the propositional tautology (and it's associated rule) $Q\Rightarrow(P\Rightarrow Q)$?

Is it possible to eliminate a contradiction without recourse to the principle of explosion?

Trending Questions

Popular # Hahtags

Popular Questions