کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662936 | 1345211 | 2014 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A logical calculus for controlled monotonicity
ترجمه فارسی عنوان
یک حساب منطقی برای یکنواختی کنترل شده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق زیر ساختی؛ غیر یکنواختی؛ برش حذف؛ ساختارهای سری موازی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
In this paper we introduce a new deductive framework for analyzing processes displaying a kind of controlled monotonicity. In particular, we prove the cut-elimination theorem for a calculus involving series-parallel structures over partial orders which is built up from multi-level sequents, an interesting variant of Gentzen-style sequents. More broadly, our purpose is to provide a general, syntactical tool for grasping the combinatorics of non-monotonic processes.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 12, Issue 4, December 2014, Pages 558–569
Journal: Journal of Applied Logic - Volume 12, Issue 4, December 2014, Pages 558–569
نویسندگان
Marcello D'Agostino, Mario Piazza, Gabriele Pulcini,