A New Formulation of Predicative Second Order Logic
Nino B. Cocchiarella · IUScholarWorks (Indiana University) · 1974
In what follows, a predicative second order logic is formulated and shown to be complete with respect to the proposed model theoretic semantics. The logic differs in certain fundamental ways from the system formulated by Church in [1], § 58. The more important differences are noted and discussed throughout the present paper. A more specialized motivation for the new formulation is outlined in § 2.