کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662909 | 1633616 | 2016 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Reasoning about negligibility and proximity in the set of all hyperreals
ترجمه فارسی عنوان
استدلال در مورد ناچیزی و نزدیکی در مجموعه تمام اعداد حقیقی بالا
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
استدلال کیفی؛ تئوری مرتبه اول؛ منطق موجهات؛ موضوعیسازی/تکمیل شدن. Decidability/ پیچیدگی؛ Definability
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We consider the binary relations of negligibility, comparability and proximity in the set of all hyperreals. Associating with negligibility, comparability and proximity the binary predicates N, C and P and the connectives [N][N], [C][C] and [P][P], we consider a first-order theory based on these predicates and a modal logic based on these connectives. We investigate the axiomatization/completeness and the decidability/complexity of this first-order theory and this modal logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 16, July 2016, Pages 14–36
Journal: Journal of Applied Logic - Volume 16, July 2016, Pages 14–36
نویسندگان
Philippe Balbiani,