کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661969 | 1633468 | 2014 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Proof internalization in generalized Frege systems for classical logic
ترجمه فارسی عنوان
درونگرایی اثبات شده در سیستم های فرگه به طور کلی برای منطق کلاسیک
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
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
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 340–356
نویسندگان
Yury Savateev,