کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661969 1633468 2014 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Proof internalization in generalized Frege systems for classical logic
ترجمه فارسی عنوان
درونگرایی اثبات شده در سیستم های فرگه به طور کلی برای منطق کلاسیک
کلمات کلیدی
03B45؛ 03F07؛ 03F45؛ 03F05 منطق یابی؛ منطق مودال؛ منطق کلاسیک
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
درونگرایی اثبات شده در سیستم های فرگه به طور کلی برای منطق کلاسیک
چکیده انگلیسی

We present a general method for inserting proofs in Frege systems for classical logic that produces systems that can internalize their own proofs.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 340–356
نویسندگان
,