Monadic algebras of an involutive monoidal t-norm based logic

Publish Year: 1401
نوع سند: مقاله ژورنالی
زبان: English
View: 125

This Paper With 16 Page And PDF Format Ready To Download

  • Certificate
  • من نویسنده این مقاله هستم

این Paper در بخشهای موضوعی زیر دسته بندی شده است:

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این Paper:

شناسه ملی سند علمی:


تاریخ نمایه سازی: 17 خرداد 1401


The main goal of this paper is to study universal and existential quantifiers on involutive monoidal t-norm based algebras, which are algebraic semantics for the logic of involutive left-continuous t-norms and their residua, and the resulting class of algebras will be called monadic IMTL-algebras. First we study some of their related algebraic properties and prove that the variety of monadic IMTL-algebras is the equivalent algebraic semantics of monadic predicate fuzzy logic \mathbf{mMTL_{\forall}}, which is equivalent to the modal fuzzy logic \mathbf{S۵(IMTL)}, and show the completeness for \mathbf{IMTL_{\forall}} via functional monadic IMTL-algebras. Moreover we start a systematic study of monadic algebraic structures that related to the monadic IMTL-algebras, some of which constitute the monadic MTL-algebras, monadic WNM-algebras, monadic NM-algebras, monadic BL-algebras, monadic MV-algebras and monadic Boolean algebras.Finally we give some representations of monadic IMTL-algebras. In particular, we character representable and directly indecomposable monadic IMTL-algebras by monadic filters.


J. T. Wang

School of Science, Xi&#۰۳۹;an Shiyou University, Xi&#۰۳۹;an ۷۱۰۰۶۵, Shaanxi, China

X. L. Xin

School of Science, Xi&#۰۳۹;an Polytechnic University, Xi&#۰۳۹;an ۷۱۰۰۴۸, Shaanxi, China