Question

$(A \to B) \to (\lnot A \lor B)$ intutionistically valid?

score 77 · Answer 1 · 2020-12-04 19:28:24

77

Views

$(A \to B) \to (\lnot A \lor B)$ intutionistically valid?

Published on 04 Dec 2020 - 19:28

score 275 · Answer 2 · 2020-12-05 13:17:55

275

Views

What is the intuitionist / contructivist view of the Fermat theorem proof?

Published on 05 Dec 2020 - 13:17

score 207 · Answer 3 · 2020-12-06 13:19:48

207

Views

Does there exist a topos with these $n+2$ truth values?

Published on 06 Dec 2020 - 13:19

score 146 · Answer 4 · 2026-03-26 12:34:07

146

Views

Is the existential quantifier commutative in intuitionistic higher order logic?

Published on 26 Mar 2026 - 12:34

score 107 · Answer 5 · 2020-12-08 18:34:32

107

Views

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

Published on 08 Dec 2020 - 18:34

score 155 · Answer 6 · 2020-12-29 12:00:23

155

Views

$A\rightarrow(\neg\neg B\rightarrow B)$ in intuitionistic logic

Published on 29 Dec 2020 - 12:00

score 73 · Answer 7 · 2020-12-29 16:37:54

73

Views

A question about intuitionistic logic

Published on 29 Dec 2020 - 16:37

score 708 · Answer 8 · 2020-12-31 05:41:07

708

Views

In Homotopy Type Theory, how do the continuous notions of spaces and paths, match the discrete notions of constructible terms and proofs?

Published on 31 Dec 2020 - 5:41

score 372 · Answer 9 · 2020-12-31 05:48:49

372

Views

In what sense does Homotopy type theory "model types as spaces"

Published on 31 Dec 2020 - 5:48

score 1.1k · Answer 10 · 2021-01-05 16:35:17

1.1k

Views

ex falso quodlibet in natural deduction (ND)?

Published on 05 Jan 2021 - 16:35

score 280 · Answer 11 · 2021-01-09 23:05:37

280

Views

Context in context of Type Theory

Published on 09 Jan 2021 - 23:05

score 164 · Answer 12 · 2021-01-10 16:27:48

164

Views

Universal Quantifier $\forall$ and Generalized Conjunction $\bigwedge$ in intuitionistic logic

Published on 10 Jan 2021 - 16:27

score 131 · Answer 13 · 2021-01-14 00:32:58

131

Views

A question about impredicative type theory

Published on 14 Jan 2021 - 0:32

score 257 · Answer 14 · 2021-01-16 00:31:49

257

Views

How to show that a valid rule is not derivable in intuitionistic propositional calculus.

Published on 16 Jan 2021 - 0:31

score 220 · Answer 15 · 2021-01-17 01:56:10

220

Views

In homotopy type theory, prove that law of excluded middle implies reduction ad absurdum

Published on 17 Jan 2021 - 1:56

List Question

$(A \to B) \to (\lnot A \lor B)$ intutionistically valid?

What is the intuitionist / contructivist view of the Fermat theorem proof?

Does there exist a topos with these $n+2$ truth values?

Is the existential quantifier commutative in intuitionistic higher order logic?

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

$A\rightarrow(\neg\neg B\rightarrow B)$ in intuitionistic logic

A question about intuitionistic logic

In Homotopy Type Theory, how do the continuous notions of spaces and paths, match the discrete notions of constructible terms and proofs?

In what sense does Homotopy type theory "model types as spaces"

ex falso quodlibet in natural deduction (ND)?

Context in context of Type Theory

Universal Quantifier $\forall$ and Generalized Conjunction $\bigwedge$ in intuitionistic logic

A question about impredicative type theory

How to show that a valid rule is not derivable in intuitionistic propositional calculus.

In homotopy type theory, prove that law of excluded middle implies reduction ad absurdum

Trending Questions

Popular # Hahtags

Popular Questions