Involutive monoidal t-norm-based logic and R0 logic

International Journal of Intelligent Systems

Volumn 19, Issue 6, 2004, Pages 491-497

  Lianzhen, Liu ^a   Kaitai, Li ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; FUZZY SETS; MATHEMATICAL MODELS; SET THEORY; THEOREM PROVING;

FUZZY REASONING; LOGIC SYSTEMS; MONOIDAL T-NORM-BASED LOGIC (MTL); WEAK NILPOTENT MINIMUMS (WNM);

FORMAL LOGIC;

EID: 2942568105     PISSN: 08848173     EISSN: None     Source Type: Journal    
DOI: 10.1002/int.20009     Document Type: Article

References (7)

1. Esteva F, Godo L. Monoidal t-norm-based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets Syst 2001;124:271-288.
2. Jenei S. A new family of triangular norms via contrapositive symmetrization of residuated implication. Fuzzy Sets Syst 2000;110:157-174.
3. Hájek P. Metamathematics of fuzzy logic. Dordrecht: Kluwer Academic Publishers; 1998.
4. Wang G-J. A formal deductive system for fuzzy prepositional calculus. Chin Sci Bull 1997;42:1521-1526.
5. Wang G-J. On the logic foundation of fuzzy reasoning. Inf Sci 1999;117:47-88.
6. Wang G-J. Non-classical mathematical logic and approximate reasoning. Beijing: Science Press; 2000.
7. Gottwald S, Jenei S. A new axiomatization for involutive monoidal t-norm-based logic. Fuzzy Sets Syst 2001;124:303-307.