MATH
Login Or Sign up

List Question

15
240
Views

Is equality $\neg \neg$-stable?

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

Does double negation elimination hold for decidable formulae in intuitionistic logic?

Published on
#logic #constructive-mathematics #intuitionistic-logic #decidability
139
Views

Verifying my proof in intuitionistic logic

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

Internal frame homomorphisms and sheafification

Published on
#category-theory #topos-theory #constructive-mathematics #intuitionistic-logic
154
Views

Proving $\lnot \lnot (\psi \lor \lnot \psi)$ is a theorem of intuitionistic propositional logic

Published on
#proof-verification #logic #intuitionistic-logic #kripke-models
282
Views

Proving the Glivenko theorem via Kripke models

Published on
#proof-verification #logic #intuitionistic-logic #kripke-models
236
Views

Enumerate propositional formulas that are classically valid, but intuitionistically invalid

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

Maximal (or prime) theories and their sets

Published on
#logic #propositional-calculus #proof-theory #modal-logic #intuitionistic-logic
183
Views

Lie groups in synthetic differential geometry

Published on
#differential-geometry #lie-groups #constructive-mathematics #intuitionistic-logic #synthetic-differential-geometry
485
Views

Metaphorical Story about the irrefutability of the law of excluded middle

Published on
#logic #soft-question #intuitionistic-logic #popular-math
150
Views

Dual of powerset is not a complete Heyting algebra

Published on
#elementary-set-theory #predicate-logic #intuitionistic-logic #heyting-algebra
313
Views

Total order on constructive real numbers

Published on
#real-numbers #constructive-mathematics #intuitionistic-logic
246
Views

Why $\phi \lor \neg \phi $ is not allowed in intuitionistic logic?

Published on
#logic #intuitionistic-logic
585
Views

What is the intuitive meaning of the Heyting algebra?

Published on
#general-topology #logic #intuitionistic-logic #heyting-algebra
132
Views

Can we prove $1\neq 2$ using intuitionistic methods?

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