Academic Journal
On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants
| العنوان: | On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants |
|---|---|
| المؤلفون: | F. Esteva, L. Godo, C. Noguera |
| المساهمون: | The Pennsylvania State University CiteSeerX Archives |
| المصدر: | http://dmle.cindoc.csic.es/pdf/MATHWARE_2007_14_03_05.pdf. |
| سنة النشر: | 2007 |
| المجموعة: | CiteSeerX |
| مصطلحات موضوعية: | with truth-constants, completeness |
| الوصف: | In this paper we deal with generic expansions of first-order predicate log-ics of some left-continuous t-norms with a countable set of truth-constants. Besides already known results for the case of Lukasiewicz logic, we obtain new conservativeness and completenesss results for some other expansions. Namely, we prove that the expansions of predicate Product, Gödel and Nilpotent Minimum logics with truth-constants are conservative, which already implies the failure of standard completeness for the case of Product logic. In contrast, the expansions of predicate Gödel and Nilpotent Minimum logics are proved to be strong standard complete but, when the semantics is restricted to the canonical algebra, they are proved to be complete only for tautologies. Moreover, when the language is restricted to evaluated formulae we prove canonical completeness for deductions from finite sets of premises. |
| نوع الوثيقة: | text |
| وصف الملف: | application/pdf |
| اللغة: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.8338; http://dmle.cindoc.csic.es/pdf/MATHWARE_2007_14_03_05.pdf |
| الاتاحة: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.589.8338 http://dmle.cindoc.csic.es/pdf/MATHWARE_2007_14_03_05.pdf |
| Rights: | Metadata may be used without restrictions as long as the oai identifier remains attached to it. |
| رقم الانضمام: | edsbas.1140B46A |
| قاعدة البيانات: | BASE |
| الوصف غير متاح. |