کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6876053 | 690199 | 2015 | 24 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Term-generic logic
ترجمه فارسی عنوان
منطق کلی اصطلاح
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We introduce term-generic logic (TGL), a first-order logic parameterized with terms defined axiomatically (rather than constructively), by requiring terms to only provide free variable and substitution operators satisfying some reasonable axioms. TGL has a notion of model that generalizes both first-order models and Henkin models of the λ-calculus. The abstract notions of term syntax and model are shown to be sufficient for obtaining the completeness theorem of a Gentzen system generalizing that of first-order logic. Various systems featuring bindings and contextual reasoning, ranging from pure type systems to the Ï-calculus, are captured as theories inside TGL. For two particular, but rather typical instances-untyped λ-calculus and System F-the general-purpose TGL models are shown to be equivalent with standard ad hoc models.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 577, 27 April 2015, Pages 1-24
Journal: Theoretical Computer Science - Volume 577, 27 April 2015, Pages 1-24
نویسندگان
Andrei Popescu, Grigore RoÅu,