Complexity and definability issues in Łπ1/2

Journal of Logic and Computation

Volumn 17, Issue 2, 2007, Pages 311-331

  Marchioni, Enrico ^a   Montagna, Franco ^b  

^a UNIVERSITY OF SALAMANCA   (Spain)

^b UNIVERSITY OF SIENA   (Italy)

Author keywords

Decidability; Fuzzy logics; Left continuous t norms; Real closed fields

Indexed keywords

DEFINABILITY; DEFINABILITY PROBLEMS; LEFT-CONTINUOUS T-NORMS; REAL CLOSED FIELDS; T - NORM;

COMPUTABILITY AND DECIDABILITY; FUZZY SYSTEMS;

FUZZY LOGIC;

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

References (26)

1. P. Aglianó and F. Montagna. Varieties of basic algebras I: general properties. Journal of Pure and Applied Algebra, 18, 105-129, 2003.
2. W. Blok and D. Pigozzi. Algebraizable Logics. Memoirs of the American Mathematical Society, 396, vol. 77, American Mathematical Society, Providence, 1989.
3. J. Bochnak, M. Coste and M. Roy. Real Algebraic Geometry. Springer, Heidelberg, 1998.
4. J. F. Canny. Some algebraic and geometric computations in PSPACE. In Proceedings of the 20th Annual ACM Symposium on Theory of Computing, Chicaco, Illinois, pp. 460-469, 1988.
5. A. Ciabattoni, G. Metcalfe and F. Montagna. Adding modalities to fuzzy logic. In Proceedings of the Linz seminar 2005 (Preprint, to appear).
6. R. Cignoli, I. M. L. D'Ottaviano and D. Mundici. Algebraic Foundations of Many-valued Reasoning. Kluwer, Dordrecht, 2000.
7. 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.
8. C. C. Chang and H. J. Keisler. Model Theory. North-Holland Publishing Company, Amsterdam, 1973.
9. [91 P. Cintula. The Łπ and Łπ 1/2 propositional and predicate logics. Fuzzy Sets and Systems, 124, 289-302, 2001.
10. P. Cintula. Advances in the Łπ and Łπ1/2 logics. Archive for Mathematical Logic, 42, 449-468, 2003.
11. P. Cintula. A note to the definition of the Łπ-algebras. Soft Computing, 9, 575-578, 2005.
12. 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.
13. F. Esteva, J. Gispert, L. Godo and F. Montagna. On the standard and the rational completeness of some axiomatic extensions of the monoidal t-norm logic. Studia Logica, 71, 293-420, 2002.
14. F. Esteva, L. Godo and F. Montagna. The łπ and łπ 1/2 logics: two complete fuzzy 2 logics joining Łukasiewicz and product logic. Archive for Mathematical Logic, 40, 39-67, 2001.
15. 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.
16. P. Hájek. Metamathematics of Fuzzy Logic. Kluwer Academic Publisher, The Netherlands, 1998.
17. P. Hájek and S. Tulipani. Complexity of fuzzy probability logic. Fundamenta Informaticae, 45, 207-213, 2001.
18. S. Jenei and F. Montagna. A proof of standard completeness for Esteva and Godo's logic MTL. Studia Logica, 70, 183-192, 2002.
19. P. Jipsen and C. Tsinakis. A survey of residuated lattices. In Ordered Algebraic Structures, J. Martinez ed., Kluwer Academic Publishers, Dordrecht, pp. 19-56, 2002.
20. E. P. Klement, R. Mesiar and E. Pap. Triangular Norms. Kluwer Academic Publisher, Dordrecht, The Netherlands, 2000.
21. A. I. Kokorin. Logical Notebook, Unsolved Problems in Mathematics. Institute of Mathematics, Siberian Department of the Academy of Sciences USSR, Novosibirsk, 1986 (in Russian).
22. G. Metcalfe and F. Montagna. Substructural fuzzy logics. Journal of Symbolic Logic, (to appear).
23. F. Montagna. An algebraic approach to propositional fuzzy logic. Journal of Logic, Language, and Information, 9, 91-124, 2000.
24. F. Montagna and G. Panti. Adding structures to MV-algebras. Journal of Pure and Applied Algebra, 164, 365-387, 2001.
25. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, CA, 1951.
26. M. Ward and R. P. Dilworth. Residuated lattices. Transactions of the American Mathematical Society, 45, 335-354, 1939.