کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661861 1633476 2013 11 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Definitional Reflection and Basic Logic
ترجمه فارسی عنوان
بازتاب تعریفی و منطق پایه
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

In their Basic Logic, Sambin, Battilotti and Faggian give a foundation of logical inference rules by reference to certain reflection principles. We investigate the relationship between these principles and the principle of Definitional Reflection proposed by Hallnäs and Schroeder-Heister.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 4, April 2013, Pages 491-501