Question

What is the relationship between the BHK interpretation of propositional logic and Natural Deduction?

score 501 · Answer 1 · 2026-03-14 10:58:09

501

Views

What is the relationship between the BHK interpretation of propositional logic and Natural Deduction?

Published on 14 Mar 2026 - 10:58

score 771 · Answer 2 · 2017-03-18 20:41:33

771

Views

Dependent Sum vs Product Types

Published on 18 Mar 2017 - 20:41

score 361 · Answer 3 · 2017-03-30 12:11:37

361

Views

Counterexample to Glivenko's theorem in predicate logic

Published on 30 Mar 2017 - 12:11

score 186 · Answer 4 · 2026-03-14 07:13:49

186

Views

Law of excluded middle (Realist vs Intuitionistic mathematics) clarification question

Published on 14 Mar 2026 - 7:13

score 171 · Answer 5 · 2026-02-23 05:17:16

171

Views

Completeness of intuitionistic propositional logic

Published on 23 Feb 2026 - 5:17

score 130 · Answer 6 · 2023-02-01 22:50:34

130

Views

What subclass of topological spaces validate the theorems of classical logic?

Published on 01 Feb 2023 - 22:50

score 106 · Answer 7 · 2023-02-09 18:24:36

106

Views

Question about an extension of Intuitionistic Logic

Published on 09 Feb 2023 - 18:24

score 81 · Answer 8 · 2023-02-16 17:58:41

81

Views

In intuitionistic FOL, does $\forall x \forall y (P(x) \lor Q(y))$ imply $(\forall x, P(x)) \lor (\forall y, Q(y))$?

Published on 16 Feb 2023 - 17:58

score 154 · Answer 9 · 2023-02-23 01:29:29

154

Views

In what sense are proofs that rely on the Law of the Excluded Middle really proofs?

Published on 23 Feb 2023 - 1:29

score 188 · Answer 10 · 2026-03-13 18:08:13

188

Views

Is there a sheaf model where the Weak Markov's principle fails?

Published on 13 Mar 2026 - 18:08

score 117 · Answer 11 · 2023-03-21 15:53:16

117

Views

Intuitionistic Logic vs Constant Domains

Published on 21 Mar 2023 - 15:53

score 95 · Answer 12 · 2026-03-14 09:10:22

95

Views

Is there a non-constructive proof-functional logic

Published on 14 Mar 2026 - 9:10

score 720 · Answer 13 · 2023-04-10 15:19:46

720

Views

How is the “ Axiom of choice is trivial in intuitionistic logic”?

Published on 10 Apr 2023 - 15:19

score 452 · Answer 14 · 2026-03-17 16:00:32

452

Views

Is intuitionist logic two-valued?

Published on 17 Mar 2026 - 16:00

score 73 · Answer 15 · 2023-04-25 18:23:02

73

Views

Need Help With First Order Intuitionistic Tableaux

Published on 25 Apr 2023 - 18:23

List Question

What is the relationship between the BHK interpretation of propositional logic and Natural Deduction?

Dependent Sum vs Product Types

Counterexample to Glivenko's theorem in predicate logic

Law of excluded middle (Realist vs Intuitionistic mathematics) clarification question

Completeness of intuitionistic propositional logic

What subclass of topological spaces validate the theorems of classical logic?

Question about an extension of Intuitionistic Logic

In intuitionistic FOL, does $\forall x \forall y (P(x) \lor Q(y))$ imply $(\forall x, P(x)) \lor (\forall y, Q(y))$?

In what sense are proofs that rely on the Law of the Excluded Middle really proofs?

Is there a sheaf model where the Weak Markov's principle fails?

Intuitionistic Logic vs Constant Domains

Is there a non-constructive proof-functional logic

How is the “ Axiom of choice is trivial in intuitionistic logic”?

Is intuitionist logic two-valued?

Need Help With First Order Intuitionistic Tableaux

Trending Questions

Popular # Hahtags

Popular Questions