Extending the monoidal T-norm based logic with an independent involutive negation

Proceedings - 4th Conference of the European Society for Fuzzy Logic and Technology and 11th French Days on Fuzzy Logic and Applications, EUSFLAT-LFA 2005 Joint Conference

Volumn , Issue , 2005, Pages 860-865

  Flaminio, Tommaso ^a   Marchioni, Enrico ^b  

^a UNIVERSITY OF SIENA   (Italy)

^b UNIVERSITY OF SALAMANCA   (Spain)

Author keywords

Involutive negations; Left continuous t norms; Many valued logics

Indexed keywords

INVOLUTIVE NEGATIONS; LEFT-CONTINUOUS T-NORMS;

FUZZY LOGIC; LINEARIZATION;

MATHEMATICAL OPERATORS;

EID: 70450224602     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Baaz M. Infinite-valued Godel logics with 0-1-projections and relativizations. In G ODEL 96, LNL 6, Hajek P. (Ed.), Springer-Verlag, pp. 23-33, 1996.
2. Butnariu E., Klement E. P. and Zafrany S. On triangular norm-based propositional fuzzy logics Fuzzy Sets and Systems, 69, 241-255, 1995.
3. Esteva F., Gispert J., Godo L. and Montagna F. On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica, 71, 199-226, 2002.
4. Esteva F. and Godo L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 124, 271-288, 2001.
5. Esteva F., Godo L., Hajek P. and Navara M. Residuated fuzzy logics with an involutive negation. Archive for Mathematical Logic, 39, 103-124, 2000.
6. Hajek P. Metamathematics of Fuzzy Logic. Kluwer 1998.
7. Jenei S. and Montagna F. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica, 70, 183-192, 2002.
8. McKenzie R., McNulty G. and Taylor W. Algebras, Lattices, Varieties, Vol. I, Wadsworth and Brooks/Cole, Monterey CA, 1987.
9. Montagna F. and Ono H. Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL8. Studia Logica, 71, 227-245, 2002.