A New Formulation of Predicative Second Order Logic
If you need an accessible version of this item, please email your request to iusw@iu.edu so that they may create one and provide it to you.
Date
1974
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Logique et Analyse
Permanent Link
Abstract
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.
Description
Publisher's, offprint version
Keywords
Impredicativity, Mathematical constants, Predicates, Mathematical relations, Predication, Logistics, Semantic models, Integers, Logical theorems
Citation
"A New Formulation of Predicative Second Order Logic," Logique et Analyse, vol. 17 issue 65-66 (1974), pp. 61-87.
DOI
Link(s) to data and video for this item
Relation
Rights
CC-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.
https://creativecommons.org/licenses/by-nc/4.0/
https://creativecommons.org/licenses/by-nc/4.0/
Type
Article