کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424816 | 1633483 | 2012 | 27 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The relational model is injective for multiplicative exponential linear logic (without weakenings)
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: The relational model is injective for multiplicative exponential linear logic (without weakenings) The relational model is injective for multiplicative exponential linear logic (without weakenings)](/preview/png/6424816.png)
چکیده انگلیسی
We show that for Multiplicative Exponential Linear Logic (without weakenings) the syntactical equivalence relation on proofs induced by cut-elimination coincides with the semantic equivalence relation on proofs induced by the multiset based relational model: one says that the interpretation in the model (or the semantics) is injective. We actually prove a stronger result: two cut-free proofs of the full multiplicative and exponential fragment of linear logic whose interpretations coincide in the multiset based relational model are the same “up to the connections between the doors of exponential boxes”.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 9, September 2012, Pages 1210-1236
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 9, September 2012, Pages 1210-1236
نویسندگان
Daniel de Carvalho, Lorenzo Tortora de Falco,