On the proof-theoretic foundation of general definition theory

被引：12
|
作者：
Hallnäs, L [1 ]
机构：
[1] Chalmers Univ Technol, Dept Comp Sci, S-41296 Gothenburg, Sweden
来源：
SYNTHESE | 2006年 / 148卷 / 03期
关键词：
Abstract Definition; General Definition; Mathematical Study; Natural Deduction; Proof Theory;
D O I：
10.1007/s11229-004-6291-6
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
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.
引用
收藏
页码：589 / 602
页数：14
相关论文
共 50 条
12345