On some axiomatic extensions of the monoidal T-norm based logic MTL.

The scientific area this thesis belongs to is many-valued logics: this means logics in which, from the semantical point of view, we have “intermediate” truth-values, between 0 and 1 (which in turns are designated to represent, respectively, the “false” and the “true”). The classical logic (propositi...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
المؤلف الرئيسي: Matteo Bianchi
التنسيق: Online
اللغة:الإنجليزية
منشور في: Ledizioni 2021
الموضوعات:
الوصول للمادة أونلاين:15501
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!