A fuzzy logic for the revised drastic product t-norm

  • Authors:

  • San-min Wang

  • Affiliations:

  • Nanchang University, Department of Computer Science & Engineering, 330029, Nanchang, People’’s Republic of China

  • Venue:
  • Soft Computing - A Fusion of Foundations, Methodologies and Applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

From the ordinal sum theorem for t-subnorms, Jenei introduced a new left-continuous t-norm (called RDP t-norm) by revising the drastic product t-norm. In this paper, propositional and predicate calculi generated by RDP t-norm and its residuum are introduced and the corresponding formal systems RDP and RDP∀, which are schematic extensions of Esteva and Godo’s MTL and MTL∀, respectively, are presented and the standard completeness for RDP and RDP∀ are proved. In addition, a new formula defining the standard disjunctive in RDP was given