MATH
Login Or Sign up

List Question

15
61
Views

Find an inhabitant for type $\phi$

Published on
#lambda-calculus #intuitionistic-logic
95
Views

where can I read the whole proof of impossibility of proving Law of Excluded middle without proof by contradiction in Natural deduction?

Published on
#logic #intuitionistic-logic
106
Views

What is the nature of the double negated axiom of choice?

Published on
#type-theory #constructive-mathematics #intuitionistic-logic
153
Views

Is the fundamental theorem of algebra true for constructive complex numbers?

Published on
#constructive-mathematics #intuitionistic-logic
121
Views

Has this logic already been studied?

Published on
#logic #reference-request #propositional-calculus #intuitionistic-logic #nonclassical-logic
87
Views

Formalizing Real World Sentence In Intuitionistic Logic?

Published on
#propositional-calculus #recreational-mathematics #formal-languages #intuitionistic-logic
57
Views

Is Resolution Intuitionistically Valid?

Published on
#logic #propositional-calculus #intuitionistic-logic
49
Views

Proof of contradiction vs refutation by contradiction and what is/isn't allowed in constructive logic?

Published on
#intuitionistic-logic
197
Views

Proof that LEM is equivalent to the well-ordering of $\Bbb{N}$

Published on
#logic #set-theory #constructive-mathematics #intuitionistic-logic
65
Views

Is there any logic system which ENTIRELY rejects non-contradiction of any kind for any sentence (i.e. all contradictions are true)? Is this possible?

Published on
#logic #philosophy #intuitionistic-logic
204
Views

How to prove that $\lnot(a \neq b)$ doesn't imply $a=b$ in intuitionistic logic?

Published on
#logic #solution-verification #constructive-mathematics #intuitionistic-logic
189
Views

LEM and the curry-howard correspondence

Published on
#type-theory #constructive-mathematics #intuitionistic-logic #homotopy-type-theory
184
Views

Non-constructiveness and finite mathematics

Published on
#logic #algorithms #cyclic-groups #constructive-mathematics #intuitionistic-logic
166
Views

“Meet” of Zorn’s Lemma and Law of Excluded Middle

Published on
#logic #set-theory #axiom-of-choice #constructive-mathematics #intuitionistic-logic
61
Views

Can intuitionistic propositional logic prove that if the negations of two statements are equivalent, so are the original statements?

Published on
#intuitionistic-logic

Trending Questions

Popular # Hahtags

second-order-logic numerical-methods puzzle logic probability number-theory winding-number real-analysis integration calculus complex-analysis sequences-and-series proof-writing set-theory functions homotopy-theory elementary-number-theory ordinary-differential-equations circles derivatives game-theory definite-integrals elementary-set-theory limits multivariable-calculus geometry algebraic-number-theory proof-verification partial-derivative algebra-precalculus

Popular Questions

Copyright © 2021 JogjaFile Inc.