A New Formulation of Predicative Second Order Logic

Simple item page
dc.contributor.authorCocchiarella, Nino
dc.date.accessioned2018-08-06T20:20:58Z
dc.date.available2018-08-06T20:20:58Z
dc.date.issued1974
dc.descriptionPublisher's, offprint versionen
dc.description.abstractIn 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.en
dc.identifier.citation"A New Formulation of Predicative Second Order Logic," Logique et Analyse, vol. 17 issue 65-66 (1974), pp. 61-87.en
dc.identifier.urihttps://hdl.handle.net/2022/22338
dc.language.isoenen
dc.publisherLogique et Analyseen
dc.rightsCC-BY-NC-ND: This work is under a CC-BY-NC-ND license. This work is under a CC-BY-ND license. You are free to copy and redistribute the material in any format, as long as you give appropriate credit to the original creator and provide a link to the license. You may not use this work for commercial purpose. If you remix, transform, or build upon the material, you may not distribute the modified material.en
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/en
dc.subjectImpredicativityen
dc.subjectMathematical constantsen
dc.subjectPredicatesen
dc.subjectMathematical relationsen
dc.subjectPredicationen
dc.subjectLogisticsen
dc.subjectSemantic modelsen
dc.subjectIntegersen
dc.subjectLogical theoremsen
dc.titleA New Formulation of Predicative Second Order Logicen
dc.typeArticleen

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
A New Formulation.pdf
Size:
497.81 KB
Format:
Adobe Portable Document Format
Description:
Download

Collections

Nino Cocchiarella Collection
Can’t use the file because of accessibility barriers? Contact us with the title of the item, permanent link, and specifics of your accommodation need.