Question

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

score 502 · Answer 1 · 2026-03-25 19:05:06

502

Views

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

Published on 25 Mar 2026 - 19:05

score 151 · Answer 2 · 2026-03-14 15:03:24

151

Views

Johnstone on constructing a complete Boolean algebra from a complete Heyting algebra

Published on 14 Mar 2026 - 15:03

score 193 · Answer 3 · 2026-03-13 21:46:43

193

Views

Given $2$ ordinals $\alpha$ and $\beta$, how to contruct an ordinal contains them as elements?

Published on 13 Mar 2026 - 21:46

score 127 · Answer 4 · 2026-03-14 13:29:41

127

Views

Random objects and Constructivism

Published on 14 Mar 2026 - 13:29

score 146 · Answer 5 · 2026-03-14 13:01:45

146

Views

Suppose $X \cong X \times X$ with at least two elements. Can we construct a third element?

Published on 14 Mar 2026 - 13:01

score 759 · Answer 6 · 2026-03-14 13:36:54

759

Views

What am I not understanding about Hedberg's theorem?

Published on 14 Mar 2026 - 13:36

score 187 · Answer 7 · 2026-03-25 19:05:27

187

Views

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

Published on 25 Mar 2026 - 19:05

score 189 · Answer 8 · 2023-02-23 02:33:00

189

Views

Are constructivists in favor of the Property of Baire?

Published on 23 Feb 2023 - 2:33

score 477 · Answer 9 · 2023-02-24 17:22:21

Two vertices of a triangle being fixed, find the locus of the third vertex such that the triangle has its circumcenter inside the incircle

score 88 · Answer 10 · 2026-03-14 11:51:06

88

Views

Books about constructivist approach for proof

Published on 14 Mar 2026 - 11:51

score 361 · Answer 11 · 2026-03-14 15:41:25

Having hard times to understand the double negation translation implications. Is constructive logic at least as strong as classical, after all?

score 189 · Answer 12 · 2026-03-25 22:03:19

189

Views

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

Published on 25 Mar 2026 - 22:03

score 117 · Answer 13 · 2026-03-14 06:56:09

117

Views

Constructive proof of compactness theorem for countable propositional languages

Published on 14 Mar 2026 - 6:56

score 196 · Answer 14 · 2026-02-23 17:00:10

196

Views

Does the Axiom of Constructibility make Pasch's Axiom unnecessary?

Published on 23 Feb 2026 - 17:00

score 96 · Answer 15 · 2026-03-25 19:00:52

96

Views

Is there a non-constructive proof-functional logic

Published on 25 Mar 2026 - 19:00

List Question

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

Johnstone on constructing a complete Boolean algebra from a complete Heyting algebra

Given $2$ ordinals $\alpha$ and $\beta$, how to contruct an ordinal contains them as elements?

Random objects and Constructivism

Suppose $X \cong X \times X$ with at least two elements. Can we construct a third element?

What am I not understanding about Hedberg's theorem?

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

Are constructivists in favor of the Property of Baire?

Two vertices of a triangle being fixed, find the locus of the third vertex such that the triangle has its circumcenter inside the incircle

Books about constructivist approach for proof

Having hard times to understand the double negation translation implications. Is constructive logic at least as strong as classical, after all?

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

Constructive proof of compactness theorem for countable propositional languages

Does the Axiom of Constructibility make Pasch's Axiom unnecessary?

Is there a non-constructive proof-functional logic

Trending Questions

Popular # Hahtags

Popular Questions