- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Proof-theoretical analysis: weak systems of functions and classes
Annals of Pure and Applied Logic 38 (1):1-121 (1988)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
A set theory with support for partial functions.William M. Farmer & Joshua D. Guttman - 2000 - Studia Logica 66 (1):59-78.
A theory of rules for enumerated classes of functions.Andreas Schlüter - 1995 - Archive for Mathematical Logic 34 (1):47-63.
The $\mu$ -measure as a tool for classifying computational complexity.Karl-Heinz Niggl - 2000 - Archive for Mathematical Logic 39 (7):515-539.
Proof-theoretic conservations of weak weak intuitionistic constructive set theories.Lev Gordeev - 2013 - Annals of Pure and Applied Logic 164 (12):1274-1292.
The elementary computable functions over the real numbers: applying two new techniques. [REVIEW]Manuel L. Campagnolo & Kerry Ojakian - 2008 - Archive for Mathematical Logic 46 (7-8):593-627.
Proofs and computations.Helmut Schwichtenberg - 2012 - New York: Cambridge University Press. Edited by S. S. Wainer.
Beyond Rasiowan Systems: Unital Deductive Systems.Alexei Y. Muravitsky - 2014 - Logica Universalis 8 (1):83-102.
Proof-theoretical analysis of order relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
Cut-elimination for Weak Grzegorczyk Logic Go.Rajeev Goré & Revantha Ramanayake - 2014 - Studia Logica 102 (1):1-27.
A case for satisfaction classes: model theoretic vs axiomatic approaches to the notion of truth.Andrea Strollo - 2013 - Logical Investigations 19:246-259.
Do there exist complete sets for promise classes?Olaf Beyersdorff & Zenon Sadowski - 2011 - Mathematical Logic Quarterly 57 (6):535-550.
Analytics
Added to PP
2014-01-16
Downloads
20 (#754,879)
6 months
5 (#632,346)
2014-01-16
Downloads
20 (#754,879)
6 months
5 (#632,346)
Historical graph of downloads
Citations of this work
Notation systems for infinitary derivations.Wilfried Buchholz - 1991 - Archive for Mathematical Logic 30 (5-6):277-296.
Totality in applicative theories.Gerhard Jäger & Thomas Strahm - 1995 - Annals of Pure and Applied Logic 74 (2):105-120.
A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π 1 -equivalent to KP.Kentaro Sato & Rico Zumbrunnen - 2015 - Annals of Pure and Applied Logic 166 (2):121-186.
Generalizations of the one-dimensional version of the Kruskal-Friedman theorems.L. Gordeev - 1989 - Journal of Symbolic Logic 54 (1):100-121.
A Buchholz Rule for Modal Fixed Point Logics.Gerhard Jäger & Thomas Studer - 2011 - Logica Universalis 5 (1):1-19.
References found in this work
Natural deduction: a proof-theoretical study.Dag Prawitz - 1965 - Mineola, N.Y.: Dover Publications.
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
On the interpretation of intuitionistic number theory.S. C. Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-nx2x8 uwo