کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10118867 | 1633559 | 2005 | 48 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Polarized and focalized linear and classical proofs
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Polarized and focalized linear and classical proofs Polarized and focalized linear and classical proofs](/preview/png/10118867.png)
چکیده انگلیسی
We give the precise correspondence between polarized linear logic and polarized classical logic. The properties of focalization and reversion of linear proofs are at the heart of our analysis: we show that the tq-protocol of normalization for the classical systems LKpolη and LKpolη,Ï perfectly fits normalization of polarized proof-nets. Some more semantical considerations allow us to recover LC as a refinement of multiplicative LKpolη.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 134, Issues 2â3, July 2005, Pages 217-264
Journal: Annals of Pure and Applied Logic - Volume 134, Issues 2â3, July 2005, Pages 217-264
نویسندگان
Olivier Laurent, Myriam Quatrini, Lorenzo Tortora de Falco,