Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics

Journal of Logic and Computation

Volumn 20, Issue 2, 2010, Pages 399-424

  Montagna, Franco ^a   Noguera, Carles ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

Arithmetical complexity; Core fuzzy logics; Finite chain semantics; First order predicate fuzzy logics; Mathematical fuzzy logic; Rational semantics; Standard semantics

Indexed keywords

ARITHMETICAL COMPLEXITY; CORE FUZZY LOGICS; FINITE-CHAIN SEMANTICS; FIRST-ORDER; FIRST-ORDER PREDICATE FUZZY LOGICS; MATHEMATICAL FUZZY LOGIC; PREDICATE FUZZY LOGIC;

FUZZY SYSTEMS; SEMANTICS; STANDARDS;

FUZZY LOGIC;

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

References (45)

1. M. Baaz. Infinite-valued Gödel logics with 0-1 projections and relativizations. In GÖDEL '96 - Logical Foundations of Mathematics, Computer Science and Physics, Lecture Notes in Logic 6, P. Hájek ed., pp. 23-33. Springer, 1996.
2. M. Baaz,A. Ciabattoni, C.G. Fermüller and H.Veith. On the undecidability of some subclassical first-order logics. In Proceedings of FST and TCS 1999,Vol. 1738 of Lecture Notes in Computer Science, pp. 258-268, Springer, 1999.
3. W. J. Blok and D. Pigozzi. Algebraizable logics. Memoirs of the American Mathematical Society 396, 77, 1989.
4. C. C. Chang. Algebraic analysis of many valued logics. Transactions of the American Mathematical Society, 88, 456-490, 1958.
5. A. Ciabattoni, F. Esteva and L. Godo. T-norm based logics with n-contraction. Neural Network World, 12, 453-460, 2002.
6. P. Cintula, F. Esteva, J. Gispert, L. Godo, F. Montagna and C. Noguera. Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies. Annals of Pure and Applied Logic, 160, 53-81, 2009.
7. P. Cintula and P. Hájek. Complexity issues in axiomatic extensions of Łukasiewicz logic. Journal of Logic and Computation, 19, 245-260, 2009.
8. P. Cintula and P. Hájek. Triangular norm based predicate fuzzy logics. Fuzzy Sets and Systems, 2009 (in press).
9. P. Cintula, E. P. Klement, R. Mesiar and M. Navara. Residuated logics based on strict t-norms with an involutive negation. Mathematical Logic Quarterly, 52, 269-282, 2006.
10. M. Dummett.Apropositional calculus with denumerable matrix. The Journal of Symbolic Logic, 24, 97-106, 1959.
11. F. Esteva, J. Gispert, L. Godo and C. Noguera. Adding truth-constants to logics of a continuous t-norm: axiomatization and completeness results. Fuzzy Sets and Systems, 158, 597-618, 2007.
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, L. Godo, P. Hájek and F. Montagna. Hoops and fuzzy logic. Journal of Logic and Computation, 13, 531-555, 2003.
14. 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.
15. F. Esteva, L. Godo and F. Montagna. The Łπ and Ł π1/2 logics: two complete fuzzy systems joining Łukasiewicz and product logics. Archive for Mathematical Logic, 40, 39-67, 2001.
16. F. Esteva, L. Godo and C. Noguera. On rational weak nilpotent minimum logics. Journal of Multiple-Valued Logic and Soft Computing, 12, 9-32, 2006.
17. F. Esteva, L. Godo and C. Noguera. First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties. Annals of Pure and Applied Logic, 2009 (in press).
18. T. Flaminio and E. Marchioni. T-norm based logics with an independent involutive negation. Fuzzy Sets and Systems, 157, 3125-3144, 2006.
19. K. Gödel. Zum intuitionistischen Aussagenkalkl. Anzeiger Akademie derWissenschaftenWien, Math. naturwiss. Klasse, 69, 65-66, 1932.
20. P. Hájek. Metamathematics of Fuzzy Logic, In Trends in Logic-Studia Logica Library, Vol.4. Kluwer, 1998.
21. P. Hájek. Fuzzy logic and arithmetical hierarchy III. Studia Logica, 68, 129-142, 2001.
22. P. Hájek. Observations on the monoidal t-norm logic. Fuzzy Sets and Systems, 132, 107-112, 2002.
23. P. Hájek. Fuzzy logics with noncommutative conjunctions. Journal of Logic and Computation, 13, 469-479, 2003.
24. P. Hájek. Fuzzy logic and arithmetical hierarchy IV. In First Order Logic Revisited, Hendricks et al. eds. pp. 107-115. Logos, 2005.
25. P. Hájek. Arithmetical complexity of fuzzy predicate logics - a survey. Soft Computing, 9, 935-941, 2005.
26. P. Hájek. On arithmetical complexity of fragments of prominent fuzzy predicate logics. Soft Computing, 12, 335-340, 2008.
27. P. Hájek. Arithmetical complexity of fuzzy predicate logics - a survey II. Annals of Pure and Applied Logic, 2009 (in press).
28. P. Hájek and P. Cintula. On theories and models in fuzzy predicate logics. The Journal of Symbolic Logic, 71, 863-880, 2006.
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, F. Montagna. A note on the first-order logic of complete BL-chains. Mathematical Logic Quarterly, 54, 435-448, 2008.
31. R. Horčcík and P. Cintula. Product Łukasiewicz logic. Archive for Mathematical Logic, 43, 477-503, 2004.
32. S. Jenei and F. Montagna.Aproof of standard completeness for Esteva and Godo's logic MTL. Studia Logica, 70, 183-192, 2002.
33. J. Łukasiewicz and A. Tarski. Untersuchungen ber den Aussagenkalkl. Comptes Rendus de la Societé des Sciences et des Lettres de Varsovie, cl. iii 23, 1-21, 1930.
34. G. Metcalfe and F. Montagna. Substructural fuzzy logics. Journal of Symbolic Logic, 72, 834-864, 2007.
35. G. Metcalfe, N. Olivetti and D. Gabbay. Proof Theory for Fuzzy Logics. In Applied Logic Series, Vol.36. Springer, 2008.
36. F. Montagna. Three complexity problems in quantified fuzzy logic. Studia Logica, 68, 143-152, 2001.
37. F. Montagna. On the predicate logics of continuous t-norm BL-algebras. Archive for Mathematical Logic, 44, 97-114, 2005.
38. F. Montagna. Subreducts of MV-algebras with product and product residuation. Algebra Universalis, 53, 109-137, 2005.
39. F. Montagna, C. Noguera and R. Horčcík. On weakly cancellative fuzzy logics. Journal of Logic and Computation, 16, 423-450, 2006.
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. On triangular norm based axiomatic extensions of the weak nilpotent minimum logic. Mathematical Logic Quarterly, 54, 387-409, 2008.
42. V. Novák, I. Perfilieva and J. Močkoř. Mathematical Principles of Fuzzy Logic. Kluwer Academic Publishers, 1999.
43. M. E. Ragaz. Arithmetische Klassifikation von Formelnmengen der unendlichwertigen Logik. ETH Zürick Thesis, 1981.
44. P. Savicky, R. Cignoli, F. Esteva, L. Godo and C. Noguera.Onproduct logic with truth-constants. Journal of Logic and Computation, 16, 205-225, 2006.
45. L. A. Zadeh. Fuzzy sets. Information Control, 8, 338-353, 1965.