List questions from intuitionistic-logic

Published on 23 Nov 2015 - 20:10

741

Views

Best way to introduce Curry-Howard isomorphism

Published on 23 Mar 2026 - 18:35

284

Views

Classical and intuitionistic propositional logic in the propositions-as-sets interpretation

Published on 02 Dec 2015 - 16:53

665

Views

How does the internal language of a topos come to be?

Published on 27 Feb 2026 - 4:30

553

Views

Intuitionistic proof of $\neg\neg(\neg\neg P \rightarrow P)$

Published on 21 Dec 2015 - 3:19

581

Views

Does the law of the excluded middle imply the existence of "intangibles"?

Published on 26 Dec 2015 - 23:43

112

Views

Is there a conservative extension of IZF that extends IZF by a weak form of the axiom of choice?

Published on 04 Jan 2016 - 22:03

141

Views

Is there a sense in which a formal theory can be more or less "metamathematically aware"?

Published on 12 Mar 2026 - 10:37

227

Views

Prime Formulas in Heyting Arithmetic

Published on 25 Jan 2016 - 23:36

123

Views

Relationship between intuitionistic logic and infinite dimensional vector spaces.

Published on 30 Jan 2016 - 20:58

1.2k

Views

Is negation introduction derivable in the natural deduction system of intuitionistic propositional logic?

Published on 01 Feb 2016 - 23:30

1.7k

Views

Law of Excluded Middle Controversy

Published on 02 Feb 2016 - 21:26

117

Views

An intuition connected with Heyting implication

Published on 11 Feb 2016 - 10:11

295

Views

Intuitonism and metamathematics.

Published on 15 Feb 2016 - 14:04

11.1k

Views

Are proofs by contradiction really logical?

Published on 22 Feb 2016 - 23:33

List Question

Does $A \lor \neg A$ assert decidability in intuitionistic logic?

Best way to introduce Curry-Howard isomorphism

Classical and intuitionistic propositional logic in the propositions-as-sets interpretation

How does the internal language of a topos come to be?

Intuitionistic proof of $\neg\neg(\neg\neg P \rightarrow P)$

Does the law of the excluded middle imply the existence of "intangibles"?

Is there a conservative extension of IZF that extends IZF by a weak form of the axiom of choice?

Is there a sense in which a formal theory can be more or less "metamathematically aware"?

Prime Formulas in Heyting Arithmetic

Relationship between intuitionistic logic and infinite dimensional vector spaces.

Is negation introduction derivable in the natural deduction system of intuitionistic propositional logic?

Law of Excluded Middle Controversy

An intuition connected with Heyting implication

Intuitonism and metamathematics.

Are proofs by contradiction really logical?

Trending Questions

Popular # Hahtags

Popular Questions