Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10324456 | Fuzzy Sets and Systems | 2005 | 11 Pages |
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
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
San-Min Wang, Bao-Shu Wang, Dao-Wu Pei,