A fuzzy logic for an ordinal sum t-norm |
| |
Institution: | 1. School of Computer Science and Engineering, XiDian University, No. 2 South Taibai Road, Xi''an 710071, PR China;2. Department of Computer Science and Engineering, Tongji University, Shanghai 200092, PR China |
| |
Abstract: | 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 Gödel, 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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|