کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661808 | 1633455 | 2015 | 32 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Modal interpolation via nested sequents
ترجمه فارسی عنوان
اینترالال مودال از طریق توالی های توجیه شده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
The main method of proving the Craig Interpolation Property (CIP) constructively uses cut-free sequent proof systems. Until now, however, no such method has been known for proving the CIP using more general sequent-like proof formalisms, such as hypersequents, nested sequents, and labelled sequents. In this paper, we start closing this gap by presenting an algorithm for proving the CIP for modal logics by induction on a nested-sequent derivation. This algorithm is applied to all the logics of the so-called modal cube.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 3, March 2015, Pages 274-305
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 3, March 2015, Pages 274-305
نویسندگان
Melvin Fitting, Roman Kuznets,