On weakly cancellative fuzzy logics

Journal of Logic and Computation

Volumn 16, Issue 4, 2006, Pages 423-450

  Montagna, Franco ^a   Noguera, Carles ^b   Horík, Rostislav ^c  

^a UNIVERSITY OF SIENA   (Italy)

^b ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^c INSTITUTE OF COMPUTER SCIENCE   (Czech Republic)

Author keywords

Algebraic logic; Fuzzy logics; Left continuous t norms; MTL algebras; Residuated lattices; Weak cancellation

Indexed keywords

ALGEBRAIC LOGIC; LEFT-CONTINUOUS T-NORMS; MTL-ALGEBRAS; RESIDUATED LATTICES; WEAK CANCELLATION;

FORMAL LOGIC; LINEAR ALGEBRA;

FUZZY SETS;

EID: 33645742702     PISSN: 0955792X     EISSN: 1465363X     Source Type: Journal    
DOI: 10.1093/logcom/exl002     Document Type: Article

References (42)

1. P. Aglianó, I. M. A. Ferreirim and F. Montagna. Basic hoops: an algebraic study of continuous t-norms. Unpublished manuscript, 2000.
2. P. Aglianó and F. Montagna. Varieties of BL-algebras I: general properties, Journal of Pure and Applied Algebra, 181, 105-129, 2003.
3. M. Baaz, P. Hájek, D. Svejda and J. Krajíček. Embedding logics into product logic. Studia Logica, 61, 35-47, 1998.
4. P. Bahls, J. Cole, N. Galatos, P. Jipsen and C. Tsinakis. Cancellative residuated lattices. Algebra Universalis, 50, 83-106, 2003.
5. W. J. Blok and I. M. A. Ferreirim. On the structure of hoops. Algebra Universalis, 43, 233-257, 2000.
6. W. J. Blok and D. Pigozzi. Algebraizable logics. Memoirs of the American Mathematical Society, 396, 1989.
7. W. J. Blok and C. J. Van Alten. The finite embeddability property for residuated lattices, pocrims and BCK-algebras. Algebra Universalis, 48, 253-271, 2002.
8. S. Burris and H. P. Sankappanavar. A course in Universal Algebra. Springer Verlag, New York, 1981.
9. C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, 88, 456-490, 1958.
10. A. Ciabattoni, F. Esteva and L. Godo. T-norm based logics with n-contraction. Neural-Network World, 5, 441-452, 2002.
11. R. Cignoli, F. Esteva, L. Godo and A. Torrens. Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Computing, 4, 106-112, 2000.
12. P. Cintula. About axiomatic systems of product fuzzy logic. Soft Computing, 5, 243-244, 2001.
13. P. Cintula and P. Hájek. Triangular norm based predicate fuzzy logics. To appear in Proceedings of Linz Seminar, 2005.
14. M. Dummett. A propositional calculus with denumerable matrix. The Journal of Symbolic Logic, 24, 97-106, 1959.
15. F. Esteva, J. Gispert, L. Godo and F. Montagna. On the standard and rational completeness of some axiomatic extensions of monoidal t-norm based logic. Studia Logica, 71, 199-226, 2002.
16. F. Esteva and L. Godo. Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems, 124, 271-288, 2001.
17. F. Esteva, L. Godo and A. García-Cerdaña. On the hierarchy of t-norm based residuated fuzzy logics. In Beyond Two: Theory and Applications of Multiple-Valued Logic, M. Fitting and E. Orlowska, eds, Springer-Verlag, Berlin, Heidelberg, New York, 251-272, 2003.
18. F. Esteva, L. Godo, P. Hájek, F. Montagna. Hoops and fuzzy logic. Journal of Logic and Computation, 13(4), 531-555, 2003.
19. F. Esteva, L. Godo, P. Hájek and M. Navara. Residuated fuzzy logics with an involutive negation. Archive for Mathematical Logic, 39, 103-124, 2000.
20. F. Esteva, L. Godo and F. Montagna. Equational characterization of the subvarieties of BL generated by t-norm algebras. Studia Logica, 76, 161-200, 2004.
21. K. Evans, M. Konikoff, J. J. Madden, R. Mathis, G. Whipple. Totally Ordered Commutative Monoids. Semigroup Forum, 62, 249-278, 2001.
22. N. Galatos and H. Ono. Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL. To appear in Studia Logica, 2006.
23. N. Galatos and C. Tsinakis. Generalized MV-algebras. Journal of Algebra, 283, 254-291, 2005.
24. A. García-Cerdaña, C. Noguera and F. Esteva. On the scope of some formulas defining additive connectives in fuzzy logics. Fuzzy Sets and Systems, 154, 56-75, 2005.
25. J. Gispert. Axiomatic extensions of the nilpotent minimum logic. Reports on Mathematical Logic, 37, 113-123, 2003.
26. J. Gispert and A. Torrens. Axiomatic extensions of IMT3 logic. Studia Logica, 81, 311-324, 2005.
27. P. Hájek. Metamathematics of Fuzzy Logic. Trends in Logic, Volume 4, Kluwer, 1998.
28. P. Hájek. Fuzzy logic and arithmetical hierarchy III. Studia Logica, 68, 129-142, 2001.
29. P. Hájek, L. Godo and F. Esteva. A complete many-valued logic with product-conjunction. Archive for Mathematical Logic, 35, 191-208, 1996.
30. P. Hájek and P. Pudlák. Metamathematics of First-Order Arithmetic. Perspectives in Mathematical Logic, Springer-Verlag, Berlin, Heidelberg, New York, 1993.
31. L. Hay. Axiomatization of the infinite-valued predicate calculus. The Journal of Symbolic Logic, 28, 77-86, 1963.
32. R. Horčík. Standard completeness theorem for ΠMTL. Archive for Mathematical Logic, 44, 413-424, 2005.
33. R. Horčík. Algebraic properties of fuzzy logics. PhD thesis. Czech Technical University in Prague, 2005.
34. R. Horčík. Decidability of cancellative extension of monoidal t-norm based Logic. To appear in Logic Journal of IG PL.
35. S. Jenei and F. Montagna. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica, 70, 183-192, 2002.
36. E. P. Klement, R. Mesiar and E. Pap. Triangular Norms. Kluwer Academic Publishers, Dordrecht, 2000.
37. Y. Komori. Super Lukasiewicz propositional logics. Nagoya Mathematical Journal, 84, 119-133, 1981.
38. F. Montagna. Three complexity problems in predicate fuzzy logic. Studia Logica, 68, 143-152, 2001.
39. F. Montagna. Generating the variety of BL-algebras. Soft Computing, 9, 869-874, 2005.
40. F. Montagna and H. Ono. Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTL∀. Studia Logica, 71, 227-245, 2002.
41. C. Noguera, F. Esteva and J. Gispert. Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops. Archive for Mathematical Logic, 44, 869-886, 2005.
42. C. Noguera, F. Esteva and J. Gispert. On some varieties of MTL-algebras. Logic Journal of the IGPL, 13, 443-466, 2005.