کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951372 1441446 2017 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Coalgebraic completeness-via-canonicity for distributive substructural logics
ترجمه فارسی عنوان
کامپوزیت کوالگربی از طریق کانونیکیت برای منطق زیر ساختی توزیعی
کلمات کلیدی
تکمیل کانونیستی، منطق زغال سنگ، منطق زیر ساختی، مدل سازی منابع، منطق جداسازی،
ترجمه چکیده
ما اثبات شدت کامل طیف وسیعی از منطق های زیربنایی را در رابطه با معانی معکوس رابطه ای مبتنی بر پوکت با استفاده از نسخه ی زاویه ای کامل از طریق کانونیکیتی نشان می دهیم. با رسم سازی مشکل در زبان منطق زدایی، ما یک نظریه مدولار را توسعه می دهیم که طیف گسترده ای از منطق های مختلف را تحت یک چارچوب واحد پوشش می دهد و خود را به گسترش بیشتر گسترش می دهد. علاوه بر این، ما معتقدیم که چارچوب زاویه ای یک روش سیستماتیک و اصولی برای مطالعه رابطه بین مدل های منابع در سمت معناشناسی و منطق های زیر ساخت در سمت نحوی فراهم می کند.
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
کامپوزیت کوالگربی از طریق کانونیکیت برای منطق زیر ساختی توزیعی
چکیده انگلیسی
We prove strong completeness of a range of substructural logics with respect to a natural poset-based relational semantics using a coalgebraic version of completeness-via-canonicity. By formalizing the problem in the language of coalgebraic logics, we develop a modular theory which covers a wide variety of different logics under a single framework, and lends itself to further extensions. Moreover, we believe that the coalgebraic framework provides a systematic and principled way to study the relationship between resource models on the semantics side, and substructural logics on the syntactic side.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Logical and Algebraic Methods in Programming - Volume 93, December 2017, Pages 1-22
نویسندگان
, ,