کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661970 | 1633468 | 2014 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Modeling linear logic with implicit functions
ترجمه فارسی عنوان
مدل سازی منطق خطی با توابع ضمنی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
03، 68، 53، 18، منطق خطی، معانی انتزاعی،
ترجمه چکیده
درست همانطور که اثبات های شهودی می تواند از طریق توابع مدل سازی شود، مدار منطقی خطی، که در ورودی ها و خروجی ها متقارن است، می تواند توسط روابط (به عنوان مثال، کلیدها در فضاهای منسجم) مدل سازی شود. با این حال روابط عمومی هر وابستگی کارکردی میان استدلال ها را ایجاد نمی کند و بنابراین بحث برانگیز است که آیا آنها می توانند به عنوان تعاریف معقول توابع تعبیر شوند. از سوی دیگر، در بعضی موقعیت ها (معمولا در حساب دیفرانسیل) می توان در یک معنی دقیق در مورد یک وابستگی کاربردی ضمنی تعریف شده توسط یک رابطه صحبت کرد. به نظر می رسد که منطق خطی را با توابع ضمنی می توان به جای روابط عمومی مدل کرد، زبان مناسب برای چنین معناشناختی (ساده) محاسبات دیفرانسیل است. این نتیجه یک مدل غیرقطعی است که از خواص کاملا جامع کامل برخوردار است.
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
Just as intuitionistic proofs can be modeled by functions, linear logic proofs, being symmetric in the inputs and outputs, can be modeled by relations (for example, cliques in coherence spaces). However generic relations do not establish any functional dependence between the arguments, and therefore it is questionable whether they can be thought as reasonable generalizations of functions. On the other hand, in some situations (typically in differential calculus) one can speak in some precise sense about an implicit functional dependence defined by a relation. It turns out that it is possible to model linear logic with implicit functions rather than general relations, an adequate language for such a semantics being (elementary) differential calculus. This results in a non-degenerate model enjoying quite strong completeness properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 357-370
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 357-370
نویسندگان
Sergey Slavnov,