MATH
Login Or Sign up

List Question

15
46
Views

Showing every state in an intuitionistic model verifies ¬¬p → p

Published on
#logic #first-order-logic #modal-logic #intuitionistic-logic
65
Views

Disjoint union types in MLTT

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

Is $\lnot\lnot\forall x(A(x)\vee\neg A(x))$ a theorem of intuitionistic logic?

Published on
#logic #intuitionistic-logic
1.2k
Views

Prove double negation of LEM in intuitionistic logic

Published on
#logic #intuitionistic-logic
111
Views

Why do intuitionistic connectives preserve open sets in the topological interpretation of IPC?

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

Truncation and fixed finite domain

Published on
#logic #type-theory #intuitionistic-logic #homotopy-type-theory
204
Views

Gentzen Style Intuitionistic Sequent Proofs

Published on
#intuitionistic-logic
169
Views

Can a set have a complement in intuitionistic ZF?

Published on
#set-theory #constructive-mathematics #intuitionistic-logic #alternative-set-theories
236
Views

Is $(p \to q) \to (\neg q \to \neg p)$ a theorem in (Johansson's) minimal logic?

Published on
#intuitionistic-logic #nonclassical-logic
128
Views

$\mathrm{int}( \mathrm{c\ell}(U)) = U$ implies every open set is closed

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

What does the principle of implosion imply from a truth-value gap?

Published on
#logic #foundations #philosophy #constructive-mathematics #intuitionistic-logic
114
Views

How to prove that $\vdash \neg \neg (p \vee \neg p)$? (Natural Deduction)

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

Equivalence of the Classical and Approximate Intermediate Value Theorems in Classical Logic

Published on
#real-analysis #logic #solution-verification #constructive-mathematics #intuitionistic-logic
247
Views

Can a proposition be false and its negation be false in Intuitionistic logic?

Published on
#logic #computability #convention #intuitionistic-logic
226
Views

What is the algorithm for automated theorem proving in intuitionistic propositional logic?

Published on
#logic #constructive-mathematics #intuitionistic-logic #automated-theorem-proving

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.