Implicational Completeness
Logic
2015-11-11 v1
Abstract
We present a proof of completeness for the implicational propositional calculus, based on a variant of the Lindenbaum procedure.
Keywords
Cite
@article{arxiv.1511.02953,
title = {Implicational Completeness},
author = {P. L. Robinson},
journal= {arXiv preprint arXiv:1511.02953},
year = {2015}
}