کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
9517927 | 1345238 | 2005 | 27 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Models for a paraconsistent set theory
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
In this paper the existence of natural models for a paraconsistent version of naive set theory is discussed. These stand apart from the previous attempts due to the presence of some non-monotonic ingredients in the comprehension scheme they fulfill. Particularly, it is proved here that allowing the equality relation in formulae defining sets, within an extensional universe, compels the use of non-monotonic operators. By reviewing the preceding attempts, we show how our models can naturally be obtained as fixed points of some functor acting on a suitable category (stressing the use of fixed-point arguments in obtaining such alternative semantics).
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 3, Issue 1, March 2005, Pages 15-41
Journal: Journal of Applied Logic - Volume 3, Issue 1, March 2005, Pages 15-41
نویسندگان
Thierry Libert,