کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661842 | 1633478 | 2013 | 19 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
An order-theoretic analysis of interpretations among propositional deductive systems
ترجمه فارسی عنوان
تجزیه و تحلیل سفارش نظری از تفاسیر در میان سیستم های استنتاجی گزاره ای
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
In this paper we study interpretations and equivalences of propositional deductive systems by using a quantale-theoretic approach introduced by Galatos and Tsinakis. Our aim is to provide a general order-theoretic framework which is able to describe and characterize both strong and weak forms of interpretations among propositional deductive systems also in the cases where the systems have different underlying languages.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 2, February 2013, Pages 112-130
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 2, February 2013, Pages 112-130