Implicational Completeness
arXiv:1511.02953
Abstract
We present a proof of completeness for the implicational propositional calculus, based on a variant of the Lindenbaum procedure.
arXiv:1511.02953
We present a proof of completeness for the implicational propositional calculus, based on a variant of the Lindenbaum procedure.