Journal of Symbolic Logic 72 (4):1385 - 1404 (2007)
We define a higher order logic which has only a notion of sort rather than a notion of type, and which permits all terms of the untyped lambda calculus and allows the use of the Y combinator in writing recursive predicates. The consistency of the logic is maintained by a distinction between use and mention, as in Gilmore's logics. We give a consistent model theory, a proof system which is sound with respect to the model theory, and a cut-elimination proof for the proof system. We also give examples showing what formulas can and cannot be used in the logic.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Comparing Approaches to Resolution Based Higher-Order Theorem Proving.Christoph Benzmüller - 2002 - Synthese 133 (1-2):203 - 235.
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
A Proof of Nominalism: An Exercise in Successful Reduction in Logic.Jaakko Hintikka - 2009 - In A. Hieke & H. Leitgeb (eds.), Reduction - Abstraction - Analysis. Ontos.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2012 - Philosophia Mathematica 21 (2):133-156.
Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027 - 1088.
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford University Press.
Higher-Order Global States : An Alternative Higher-Order Model of Consciousness.Robert Van Gulick - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.
Reply to Hintikka and Sandu: Frege and Second-Order Logic.Richard Heck & Jason Stanley - 1993 - Journal of Philosophy 90 (8):416 - 424.
Added to index2010-08-24
Total downloads8 ( #484,301 of 2,153,858 )
Recent downloads (6 months)2 ( #279,963 of 2,153,858 )
How can I increase my downloads?