List questions from intuitionistic-logic

Published on 21 Mar 2026 - 20:33

87

Views

Proof in constructive mathematics using decidability.

Published on 22 Mar 2026 - 4:36

777

Views

Constructive Intermediate Value Theorem (IVT)

Published on 23 Mar 2026 - 0:41

179

Views

How to prove that the following three tautologies of classical logic are disallowed in intuitionistic logic?

Published on 17 Oct 2018 - 10:31

623

Views

Can the axiom of choice be explicitly proved in (intuitionistic) predicate logic, or is something like intuitionistic type theory necessary?

Published on 23 Oct 2018 - 10:06

440

Views

Constructivity and Piecewise Functions

Published on 23 Mar 2026 - 9:41

85

Views

Compact witness of satisfiability of a formula in intuitionistic logic

Published on 30 Oct 2018 - 22:38

220

Views

Intuitionistic logic and derivation

Published on 19 Mar 2026 - 12:24

136

Views

how to prove that (P⊃Q)≡(¬Q⊃¬P) ( P ⊃ Q ) ≡ ( ¬ Q ⊃ ¬ P ) is disallowed in intuitionistic logic?

Published on 05 Dec 2018 - 21:11

174

Views

showing that $(\lnot \lnot Q) \to Q$ is not an inutionistic tautology by using an ad hoc 3-valued logic?

Published on 06 Dec 2018 - 5:20

90

Views

Nondecreasing converging sequences without the LEM

Published on 17 Dec 2018 - 15:57

501

Views

Prove constructively that $\log_2 3$ is irrational.

Published on 23 Mar 2026 - 2:07

228

Views

Propositional calculus and intuitionist logic

Published on 14 Jan 2019 - 17:25

122

Views

relation between inquisitive logic and logic as games?

Published on 18 Jan 2019 - 17:25

84

Views

Realizability model not realizing all of CZF

Published on 23 Mar 2026 - 13:20

List Question

Proof verification in constructive analysis

Proof in constructive mathematics using decidability.

Constructive Intermediate Value Theorem (IVT)

How to prove that the following three tautologies of classical logic are disallowed in intuitionistic logic?

Can the axiom of choice be explicitly proved in (intuitionistic) predicate logic, or is something like intuitionistic type theory necessary?

Constructivity and Piecewise Functions

Compact witness of satisfiability of a formula in intuitionistic logic

Intuitionistic logic and derivation

how to prove that (P⊃Q)≡(¬Q⊃¬P) ( P ⊃ Q ) ≡ ( ¬ Q ⊃ ¬ P ) is disallowed in intuitionistic logic?

showing that $(\lnot \lnot Q) \to Q$ is not an inutionistic tautology by using an ad hoc 3-valued logic?

Nondecreasing converging sequences without the LEM

Prove constructively that $\log_2 3$ is irrational.

Propositional calculus and intuitionist logic

relation between inquisitive logic and logic as games?

Realizability model not realizing all of CZF

Trending Questions

Popular # Hahtags

Popular Questions