MATH
Login Or Sign up

List Question

15
83
Views

Confusion with Brouwer's Counterexample for Points on a Continuum Being Ordered

Published on
#real-analysis #logic #modal-logic #intuitionistic-logic
107
Views

A proof step involving the law of the excluded middle

Published on
#logic #intuitionistic-logic
199
Views

Strongly constructive proofs: Proofs that don't make use of decidability?

Published on
#logic #type-theory #constructive-mathematics #intuitionistic-logic #higher-order-logic
192
Views

How does the “proofs as programs” correspondence work for equality?

Published on
#logic #type-theory #intuitionistic-logic
221
Views

Intuitionistic “atomic” proof of negation?

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

Type theory and constructivist mathematics with paraconsistent logic?

Published on
#logic #type-theory #constructive-mathematics #intuitionistic-logic #nonclassical-logic
62
Views

Is there an intuitionistic proof of "it is impossible to simulate a die with a guaranteed to terminate process involving coin flips"?

Published on
#intuitionistic-logic
112
Views

Identity and substitution in Intuitionistic Logic

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

Defining function by overlapping cases in constructive logic

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

Does $\forall x (\phi(x) \vee \neg \phi(x))$ imply (2) $\forall x \phi (x) \vee \neg \forall x \phi(x)$ in intuitionistic logic?

Published on
#logic #intuitionistic-logic
134
Views

Literature On Simple Type Theory

Published on
#category-theory #homotopy-theory #type-theory #intuitionistic-logic
264
Views

Type Theory Rules For The Empty Type

Published on
#type-theory #lambda-calculus #intuitionistic-logic #homotopy-type-theory
269
Views

In intuitionistic first-order logic, can the "nothing" quantifier define either of the universal or existential quantifiers?

Published on
#logic #intuitionistic-logic
513
Views

Independence of connectives in intuitionistic logic

Published on
#logic #intuitionistic-logic
1.2k
Views

How Do Heyting Algebras Relate To Logic?

Published on
#logic #category-theory #lattice-orders #intuitionistic-logic #heyting-algebra

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.