A fuzzy logic for an ordinal sum t-norm

作者：Wang SM^*; Wang BS; Pei DW

来源：Fuzzy Sets and Systems, 2005, 149(2): 297-307.

DOI：10.1016/j.fss.2004.01.005

• non-classical logics
• ordinal sum t-norms
• MTL system
• MTL for all system
• NMG system
• NMG for all system

Among the class of residuated fuzzy logics, a few of them have been shown to have standard completeness both for propositional and predicate calculus, like Godel, NM and monoidal t-norm-based logic systems. In this paper, a new residuated logic NMG, which aims at capturing the tautologies of a class of ordinal sum t-norms and their residua, is introduced and its standard completeness both for propositional calculus and for predicate calculus are proved.

• 出版日期2005-1-16
• 单位同济大学; 南昌大学