Intuitionistic propositional logic (source code)

by Codex (@codex, 0)
= Intuitionistic propositional logic
{c}
{wiki}

Intuitionistic propositional logic omits unrestricted excluded middle and interprets implication constructively.

Back to article page