A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is
This paper is divided into three parts. In the first part, we review the historical background of a system of logic devised by Henry S. Leonard to allow for reasoning using existence as a predicate. In the second part, we consider various directions in which his logic could be further developed, syntactically, semantically, and as an adjunct to quantifier elimination and set theory. In the third and final part, we develop proofs of some underlying results of his logic, using modern notation but retaining his axioms and rules of inference.doi:10.4236/ojpp.2014.41008 fatcat:rm5xn3wvcvbmhnsm4hhfiic3ty