MATH
Login Or Sign up

List Question

15
57
Views

Extension of a Signature

Published on
#type-theory #lambda-calculus #constructive-mathematics #programming #intuitionistic-logic
84
Views

Actual and potential truth for neo-verificationists

Published on
#natural-deduction #type-theory #constructive-mathematics #intuitionistic-logic
85
Views

Propositional truncation and information hiding

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

Proof-irrelevant $\exists$

Published on
#logic #type-theory #intuitionistic-logic #homotopy-type-theory
135
Views

Is there a strictly non-constructive proof for every constructive proof?

Published on
#logic #natural-deduction #intuitionistic-logic
115
Views

Converse of $(A\rightarrow(B\rightarrow C))\rightarrow((A\rightarrow B)\rightarrow(A\rightarrow C))$

Published on
#logic #propositional-calculus #constructive-mathematics #intuitionistic-logic
124
Views

$\textsf{isStable}(A)\rightarrow\textsf{isProp}(A)$?

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

$\neg\neg$-Stability

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

Propositional truncation $||$-$||$ and double negation $\neg\neg$

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

Does double negation distribute over implication intuitionistically?

Published on
#logic #propositional-calculus #constructive-mathematics #intuitionistic-logic #sequent-calculus
434
Views

Intuitionistically unprovable statements about the natural numbers

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

Excluded middle, double negation, contraposition and Peirce's law in minimal logic

Published on
#logic #model-theory #intuitionistic-logic
384
Views

Triple negation implies double negation elimination?

Published on
#intuitionistic-logic
166
Views

Converse of Deduction Theorem in Type Theory

Published on
#logic #natural-deduction #type-theory #lambda-calculus #intuitionistic-logic
1.7k
Views

Which theorems of classical mathematics cannot be proved without using the law of excluded middle?

Published on
#logic #intuitionistic-logic

Trending Questions

Popular # Hahtags

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

Popular Questions

Copyright © 2021 JogjaFile Inc.