Expanding the propositional logic of a t-norm with truth-constants: Completeness results for rational semantics

Soft Computing

Volumn 14, Issue 3, 2010, Pages 273-284

  Esteva, Francesc ^a   Godo, Lluís ^a   Noguera, Carles ^b  

^a UNIVERSITAT AUTÒNOMA DE BARCELONA   (Spain)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

Evaluated formulae; Left continuous t norms; Mathematical fuzzy logic; Realand rational completeness; T norm based logics; Truth constants

Indexed keywords

EVALUATED FORMULAE; LEFT-CONTINUOUS T-NORMS; MATHEMATICAL FUZZY LOGIC; REALAND RATIONAL COMPLETENESS; T-NORM BASED LOGICS; TRUTH-CONSTANTS;

FUZZY SETS; MATHEMATICAL OPERATORS; SEMANTICS;

FUZZY LOGIC;

EID: 70350303226     PISSN: 14327643     EISSN: 14337479     Source Type: Journal    
DOI: 10.1007/s00500-009-0402-8     Document Type: Article

References (27)

1. Běhounek L, Cintula P (2006) Fuzzy logics as the logics of chains. Fuzzy Sets Syst 157:604-610
2. Blok WJ, Pigozzi D (1989) Algebraizable logics. Mem Am Math Soc 396, vol 77
3. Cignoli R (2000) Notas para el curso Álgebras de la lógica borrosa. Department of Mathematics, F.C.E. y N., University of Buenos Aires (in English)
4. Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4:106-112
5. Cignoli R, Esteva F, Godo L (2007) On Lukasiewicz logic with truth constants. In: Castillo O et al (eds) Theoretical advances and applications of fuzzy logic and soft computing ASC 42. Springer, Heidelberg, pp 869-875
6. Cintula P, Esteva F, Gispert J, Godo L, Montagna F, Noguera C (2009) Distinguished algebraic semantics for t-norm based fuzzy logics: Methods and algebraic equivalencies. Ann Pure Appl Logic (to appear)
7. Esteva F, Domingo X (1980) Sobre negaciones fuertes y débiles en [0,1]. Stochastica 4:141-166
8. Esteva F, Godo L (2001) Monoidal t-norm based logic: Towards a logic for left-continuous t-norms. Fuzzy Sets Syst 124:271-288
9. Esteva F, Gispert J, Godo L, Montagna F (2002) On the standard and rational completeness of some axiomatic extensions of monoidal t-norm based logic. Stud Log 71:199-226
10. Esteva F, Godo L, Montagna F (2004) Equational characterization of the subvarieties of BL generated by t-norm algebras. Stud Log 76:161-200
11. Esteva F, Godo L, Noguera C (2006a) On rational weak nilpotent minimum logics. J Multiple Valued Log Soft Comput 12:9-32
12. Esteva F, Godo L, Noguera C (2006b) Real, rational and finite chain semantics for fuzzy logics, Actas del XIII congreso español sobre tecnologí as y lógica fuzzy ESTYLF 2006. Ciudad Real, pp 83-88
13. Esteva F, Gispert J, Godo L, Noguera C (2007a) Adding truth-constants to logics of a continuous t-norm: Axiomatization and completeness results. Fuzzy Sets Syst 158:597-618
14. Esteva F, Godo L, Noguera C (2007b) On completeness results for predicate Łukasiewicz, Product, Gödel, and Nilpotent minimum logics expanded with truth-constants. Mathw Soft Comput 14:233-246
15. Esteva F, Godo L, Noguera C (2009) On expansions of t-norm based logics with truth-constants. In: Gottwald S, Hájek P, Höhle U, Klement EP (eds) Fuzzy logics and related structures (to appear)
16. Gurevich YS, Kokorin AI (1963) Universal equivalence of ordered abelian groups. Algebra Log 2:37-39 (in Russian)
17. Hájek P (1998) Metamathematics of fuzzy logic. Trends in logic-studia logica library, vol 4. Kluwer, Dordrecht
18. Hájek P (2006) Computational complexity of t-norm based propositional fuzzy logics with rational truth-constants. Fuzzy Sets Syst 157:677-682
19. Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo's logic MTL. Stud Log 70:183-192
20. Ling CH (1965) Representation of associative functions. Publ Math Debrecen 12:189-212
21. Mostert PS, Shields AL (1957) On the structure of semigroups on a compact manifold with boundary. Ann Math 65:117-143
22. Novák V (1990a) On the syntactico-semantical completeness of first-order fuzzy logic. Part I. Syntax and semantics. Kybernetika 26:47-66
23. Novák V (1990b) On the syntactico-semantical completeness of first-order fuzzy logic. Part II. Main results. Kybernetika 26:134-154
24. Noguera C, Esteva F, Gispert J (2008) On triangular norm based axiomatic extensions of the weak Nilpotent minimum logic. Math Log Q 54:387-409
25. Pavelka J (1979) On fuzzy logic I, II, III. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 25:45-52, 119-134, 447-464
26. Savický P, Cignoli R, Esteva F, Godo L, Noguera C (2006) On product logic with truth-constants. J Log Comput 16:205-225
27. Turunen E (1999) Mathematics behind fuzzy logic. Springer, Heidelberg