Graduate studies at Western
Synthese 148 (3):589 - 602 (2006)
|Abstract||A general definition theory should serve as a foundation for the mathematical study of definitional structures. The central notion of such a theory is a precise explication of the intuitively given notion of a definitional structure. The purpose of this paper is to discuss the proof theory of partial inductive definitions as a foundation for this kind of a more general definition theory. Among the examples discussed is a suggestion for a more abstract definition of lambda-terms (derivations in natural deduction) that could provide a basis for a more systematic definitional approach to general proof theory.|
|Keywords||No keywords specified (fix it)|
No categories specified
(categorize this paper)
|Through your library||Configure|
Similar books and articles
Peter Caws (1959). The Functions of Definition in Science. Philosophy of Science 26 (3):201-228.
Peter Dybjer (2000). A General Formulation of Simultaneous Inductive-Recursive Definitions in Type Theory. Journal of Symbolic Logic 65 (2):525-549.
Solomon Feferman, The Proof Theory of Classical and Constructive Inductive Definitions. A 40 Year Saga, 1968-2008.
Erik Curiel (1999). The Analysis of Singular Spacetimes. Philosophy of Science 66 (3):145.
Ole T. Hjortland (2009). The Structure of Logical Consequence : Proof-Theoretic Conceptions. Dissertation, University of St Andrews
Wilfrid Hodges (ed.) (1996). Logic: From Foundation to Applications: European Logic Colloquium. Oxford University Press.
Stewart Shapiro (2000). Set-Theoretic Foundations. The Proceedings of the Twentieth World Congress of Philosophy 2000:183-196.
Peter Schroeder-Heister (2006). Validity Concepts in Proof-Theoretic Semantics. Synthese 148 (3):525 - 571.
Michael Rathjen (1992). A Proof-Theoretic Characterization of the Primitive Recursive Set Functions. Journal of Symbolic Logic 57 (3):954-969.
Added to index2009-01-28
Total downloads7 ( #142,848 of 757,560 )
Recent downloads (6 months)1 ( #63,427 of 757,560 )
How can I increase my downloads?