MATH
Login Or Sign up

List Question

15
159
Views

Noetherian sets without LEM

Published on
#logic #topos-theory #constructive-mathematics #intuitionistic-logic
384
Views

Equivalence Between Law of Excluded Middle and Self-Implication

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

How exactly does the currry-howard formalization of logic capture the semantics of LEM not holding?

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

Doesn't cut elimination make intuitionistic logic equivalent to classical logic?

Published on
#proof-theory #lambda-calculus #intuitionistic-logic
121
Views

Defining sets in intuitionistic logic

Published on
#elementary-set-theory #paradoxes #constructive-mathematics #intuitionistic-logic
496
Views

Does the law of the excluded middle hold for finite sets in intuitionist set theory?

Published on
#intuitionistic-logic #alternative-set-theories
528
Views

What is the definition of an embedding of one logic in another?

Published on
#logic #definition #proof-theory #intuitionistic-logic
196
Views

Relation between classical implication and intuitionistic implication

Published on
#propositional-calculus #natural-deduction #constructive-mathematics #intuitionistic-logic #sequent-calculus
156
Views

Does the BHK interpretation induce a category?

Published on
#logic #category-theory #first-order-logic #higher-category-theory #intuitionistic-logic
260
Views

Proof methods w/o Contradiction (Intuitionistic Frameworks of Math)

Published on
#elementary-number-theory #logic #constructive-mathematics #intuitionistic-logic
212
Views

$A \rightarrow \neg \neg A$ in constructive logic with and without explosion

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

Does constructive dilemma hold in intuitionistic logic?

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

Does every intuitionistic formula have disjunctive or conjuctive normal form?

Published on
#logic #intuitionistic-logic #heyting-algebra
1k
Views

Introductions to intuitionistic logic?

Published on
#logic #reference-request #intuitionistic-logic
77
Views

What are the restrictions on substitution of terms in Hilbert-style calculus vis-à-vis intuitionistic logic?

Published on
#logic #first-order-logic #intuitionistic-logic #hilbert-calculus

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.