کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4662909 1345208 2016 23 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Reasoning about negligibility and proximity in the set of all hyperreals
ترجمه فارسی عنوان
استدلال در مورد ناچیزی و نزدیکی در مجموعه تمام اعداد حقیقی بالا
کلمات کلیدی
استدلال کیفی؛ تئوری مرتبه اول؛ منطق موجهات؛ موضوعی‌سازی/تکمیل شدن. Decidability/ پیچیدگی؛ Definability
Qualitative reasoning; First-order theory; Modal logic; Axiomatization/completeness; Decidability/complexity; 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
نویسندگان
,