MATH
Login Or Sign up

List Question

15
251
Views

Is equality $\neg \neg$-stable?

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

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

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

Verifying my proof in intuitionistic logic

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

Internal frame homomorphisms and sheafification

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

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

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

Proving the Glivenko theorem via Kripke models

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

Enumerate propositional formulas that are classically valid, but intuitionistically invalid

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

Maximal (or prime) theories and their sets

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

Lie groups in synthetic differential geometry

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

Metaphorical Story about the irrefutability of the law of excluded middle

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

Dual of powerset is not a complete Heyting algebra

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

Total order on constructive real numbers

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

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

Published on
#logic #intuitionistic-logic
589
Views

What is the intuitive meaning of the Heyting algebra?

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

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

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.