Repository | Journal | Volume | Articles
(2006) Synthese 148 (3).
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.
Publication details
DOI: 10.1007/s11229-004-6291-6
Full citation:
Hallnäs, L. (2006). On the proof-theoretic foundation of general definition theory. Synthese 148 (3), pp. 589-602.
This document is unfortunately not available for download at the moment.