List questions from intuitionistic-logic

Published on 17 Jun 2020 - 14:07

83

Views

Actual and potential truth for neo-verificationists

Published on 19 Jun 2020 - 16:31

84

Views

Propositional truncation and information hiding

Published on 25 Jun 2020 - 16:51

231

Views

Proof-irrelevant $\exists$

Published on 06 Jul 2020 - 14:00

134

Views

Is there a strictly non-constructive proof for every constructive proof?

Published on 06 Jul 2020 - 22:30

114

Views

Converse of $(A\rightarrow(B\rightarrow C))\rightarrow((A\rightarrow B)\rightarrow(A\rightarrow C))$

Published on 08 Jul 2020 - 16:39

123

Views

$\textsf{isStable}(A)\rightarrow\textsf{isProp}(A)$?

Published on 10 Jul 2020 - 1:33

111

Views

$\neg\neg$-Stability

Published on 21 Mar 2026 - 21:27

386

Views

Propositional truncation $||$-$||$ and double negation $\neg\neg$

Published on 10 Jul 2020 - 16:25

891

Views

Does double negation distribute over implication intuitionistically?

Published on 23 Feb 2026 - 8:34

433

Views

Intuitionistically unprovable statements about the natural numbers

Published on 12 Jul 2020 - 3:16

830

Views

Excluded middle, double negation, contraposition and Peirce's law in minimal logic

Published on 15 Jul 2020 - 20:25

381

Views

Triple negation implies double negation elimination?

Published on 19 Jul 2020 - 14:49

165

Views

Converse of Deduction Theorem in Type Theory

Published on 30 Jul 2020 - 12:09

1.7k

Views

Which theorems of classical mathematics cannot be proved without using the law of excluded middle?

Published on 06 Jul 2016 - 16:43

List Question

Extension of a Signature

Actual and potential truth for neo-verificationists

Propositional truncation and information hiding

Proof-irrelevant $\exists$

Is there a strictly non-constructive proof for every constructive proof?

Converse of $(A\rightarrow(B\rightarrow C))\rightarrow((A\rightarrow B)\rightarrow(A\rightarrow C))$

$\textsf{isStable}(A)\rightarrow\textsf{isProp}(A)$?

$\neg\neg$-Stability

Propositional truncation $||$-$||$ and double negation $\neg\neg$

Does double negation distribute over implication intuitionistically?

Intuitionistically unprovable statements about the natural numbers

Excluded middle, double negation, contraposition and Peirce's law in minimal logic

Triple negation implies double negation elimination?

Converse of Deduction Theorem in Type Theory

Which theorems of classical mathematics cannot be proved without using the law of excluded middle?

Trending Questions

Popular # Hahtags

Popular Questions