کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4662294 1633514 2009 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Note on witnessed Gödel logics with Delta
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Note on witnessed Gödel logics with Delta
چکیده انگلیسی

Witnessed Gödel logics are based on the interpretation of ∀ (∃) by minimum (maximum) instead of supremum (infimum). Witnessed Gödel logics appear for many practical purposes more suited than usual Gödel logics as the occurrence of proper infima/suprema is practically irrelevant. In this note we characterize witnessed Gödel logics with absoluteness operator △ w.r.t. witnessed Gödel logics using a uniform translation.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 161, Issue 2, November 2009, Pages 121-127