کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661956 | 1633468 | 2014 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
What is relevance logic?
ترجمه فارسی عنوان
منطق ارتباط چیست؟
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق ارتباط؛ روابط استلزام؛ اتصالات؛ منطق خطی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We suggest two precise abstract definitions of the notion of ‘relevance logic’ which are both independent of any proof system or semantics. We show that according to the simpler one, R→¬ (the intensional fragment of R) is the minimal relevance logic, but R itself is not. In contrast, R and many other logics are relevance logics according to the second (more complicated) definition, while all fragments of linear logic are not.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 26–48
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 1, January 2014, Pages 26–48
نویسندگان
Arnon Avron,