New posts in intuitionistic-logic

Defined negation in intuitionistic linear logic

logic intuitionistic-logic nonclassical-logic linear-logic

What is the difference between intuitionistic, classical, modal and linear logic?

logic type-theory modal-logic intuitionistic-logic linear-logic

Why is it called linear logic?

logic intuitionistic-logic linear-logic

Looking for a simple proof of the independence of the law of excluded middle

logic intuitionistic-logic nonclassical-logic

About Gödel-Gentzen negative translation

first-order-logic constructive-mathematics intuitionistic-logic

Law of Excluded Middle Controversy

intuition philosophy constructive-mathematics intuitionistic-logic

Prove that formula is not tautology.

intuitionistic-logic

Can we make intuitionistic logic "intuitive"?

logic propositional-calculus intuitionistic-logic

Excluded middle, double negation, contraposition and Peirce's law in minimal logic

logic model-theory intuitionistic-logic

The legitimacy of topos theory and intuitionism.

foundations philosophy topos-theory intuitionistic-logic categorical-logic

Which theorems of classical mathematics cannot be proved without using the law of excluded middle?

logic intuitionistic-logic

Does double negation distribute over implication intuitionistically?

logic propositional-calculus constructive-mathematics intuitionistic-logic sequent-calculus

Semantics for minimal logic

logic reference-request intuitionistic-logic provability nonclassical-logic

What does this typed lambda-calculus notation mean?

type-theory lambda-calculus intuitionistic-logic

Is there a decision procedure for intuitionistic propositional logic?

logic algorithms intuitionistic-logic provability decidability

Difference between proof of negation and proof by contradiction

logic constructive-mathematics intuitionistic-logic

Intuitionistic logic plus $A → B \lor C \vdash ( A → B ) \lor ( A → C )$

logic intuitionistic-logic

Is there a decision procedure for *monadic* intuitionist first-order logic?

logic first-order-logic constructive-mathematics intuitionistic-logic

All real functions are continuous

real-analysis logic reference-request intuitionistic-logic

Upper bound for size of topology needed to falsify a non-tautology in IPC

general-topology logic intuitionistic-logic