Implication-free fragment of intuitionistic propositional logic
ID: implication-free-fragment-of-intuitionistic-propositional-logic
The implication-free fragment uses only conjunction, disjunction, truth, and falsity, with their intuitionistic natural-deduction rules.
New to topics? Read the docs here!