MATH
Login Or Sign up

List Question

15
502
Views

What is the relationship between the BHK interpretation of propositional logic and Natural Deduction?

Published on
#logic #proof-theory #natural-deduction #constructive-mathematics #intuitionistic-logic
774
Views

Dependent Sum vs Product Types

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

Counterexample to Glivenko's theorem in predicate logic

Published on
#predicate-logic #intuitionistic-logic
187
Views

Law of excluded middle (Realist vs Intuitionistic mathematics) clarification question

Published on
#philosophy #constructive-mathematics #intuitionistic-logic
173
Views

Completeness of intuitionistic propositional logic

Published on
#intuitionistic-logic #heyting-algebra
133
Views

What subclass of topological spaces validate the theorems of classical logic?

Published on
#general-topology #intuitionistic-logic
109
Views

Question about an extension of Intuitionistic Logic

Published on
#logic #intuitionistic-logic
84
Views

In intuitionistic FOL, does $\forall x \forall y (P(x) \lor Q(y))$ imply $(\forall x, P(x)) \lor (\forall y, Q(y))$?

Published on
#solution-verification #intuitionistic-logic
157
Views

In what sense are proofs that rely on the Law of the Excluded Middle really proofs?

Published on
#logic #intuitionistic-logic
189
Views

Is there a sheaf model where the Weak Markov's principle fails?

Published on
#general-topology #logic #topos-theory #constructive-mathematics #intuitionistic-logic
120
Views

Intuitionistic Logic vs Constant Domains

Published on
#logic #philosophy #modal-logic #intuitionistic-logic
96
Views

Is there a non-constructive proof-functional logic

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

How is the “ Axiom of choice is trivial in intuitionistic logic”?

Published on
#axiom-of-choice #type-theory #intuitionistic-logic
453
Views

Is intuitionist logic two-valued?

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

Need Help With First Order Intuitionistic Tableaux

Published on
#logic #first-order-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.