کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4950084 | 1440358 | 2016 | 13 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Kripke-type Semantics for CG3â²
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In Osorio et al. [Revisiting Z. Notre Dame Journal of Formal Logic, 55(1):129-155, 2014] introduced a paraconsistent three-valued logic, the logic CG3â² which was named after the logic G3â² due to the close relation between them. Authors defined CG3â² via the three-valued matrix that defines G3â² but changing the set of designated truth values. In this article we present a brief study of the Kripke-type semantics for some logics related with CG3â² before constructing a Kripke-type semantics for it.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 328, 8 December 2016, Pages 17-29
Journal: Electronic Notes in Theoretical Computer Science - Volume 328, 8 December 2016, Pages 17-29
نویسندگان
Verónica Borja MacÃas, Miguel Pérez-Gaspar,