Publicacions

LLIBRES:

  1. Slabě implikativní logiky: Úvod do abstraktního studia výrokových logik, Univerzita Karlova v Praze, Filozofická fakulta, Praga, 2015. (ISBN: 978-80-7308-576–6) (amb P. Cintula)
  2. Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, Monografies de l'Institut d'Investigació en Intel·ligència Artificial vol. 27, Barcelona, 2007. (ISBN: 978-84-00-08538-4)

CAPÍTOLS DE LLIBRES:

  1. The quest for the basic fuzzy logic, Petr Hájek on Mathematical Fuzzy Logic, capítol 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290. (ISBN: 978-3-319-06232-7) (amb P. Cintula i R. Horcík)
  2. Arithmetical complexity of first-order fuzzy logics, Handbook of Mathematical Fuzzy Logic - volume 2, capítol XI, P. Cintula, P. Hájek, C. Noguera (eds),  Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, Londres, 2011, pp. 853 - 908. (ISBN: 978-84890-054-7) (amb P. Hájek i F. Montagna)
  3. A general framework for Mathematical Fuzzy Logic, Handbook of Mathematical Fuzzy Logic - volume 1, capítol II, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, Londres, 2011, pp. 103 - 207. (ISBN: 978-1-84890-039-4) (amb P. Cintula)
  4. On n-contractive fuzzy logics: first results, Uncertainty and Intelligent Information Systems, B. Bouchon-Meunier, R.R. Yager, C. Marsala, and M. Rifqi (eds), World Scientific, 2008, pp. 433 - 446. (ISBN: 978-981-279-234-1) (amb F. Esteva i J. Gispert)
VOLUMS I NÚMEROS ESPECIALS EDITATS:
  1. Número especial sobre Lògica Borrosa Matemàtica en honor a Francesc Esteva, Fuzzy Sets and Systems, pendent de publicació. (editat per F. Bou, M. Cerami, À. García-Cerdaña, L. Godo i C. Noguera).
  2. Handbook of Mathematical Fuzzy Logic - volume 3, Studies in Logic, Mathematical Logic and Foundations, College Publications, Londres, pendent de publicació. (editat per P. Cintula, C. Fermüller i C. Noguera)
  3. Handbook of Mathematical Fuzzy Logic - volume 2, Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, Londres 2011. (ISBN: 978-84890-054-7) (editat per P. Cintula, P. Hájek i C. Noguera)
  4. Handbook of Mathematical Fuzzy Logic - volume 1, Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, Londres, 2011. (ISBN: 978-84890-039-4) (editat per P. Cintula, P. Hájek i C. Noguera)
  5. Número especial sobre Lògica Borrosa Matemàtica, Journal of Logic and Computation, Volume 21, Issue 5, 2011. (editat per P. Cintula, G. Metcalfe i C. Noguera).
  6. Logic, Algebra and Truth Degrees 2010 - volume of abstracts, Institute for Theoretical Computer Science Series, vol. 502, Praga, 2010. (editat per K. Chvalovský, P. Cintula i C. Noguera)

ARTICLES A REVISTES:

  1. A new hierarchy of (in)finitary logics in abstract algebraic logic, enviat. (amb T. Lávička)
  2. Implicational (Semilinear) Logics II: additional connectives and characterizations of semilinearity, Archive for Mathematical Logic 55 (2016) 353-372. (amb P. Cintula)
  3. Löwenheim-Skolem theorems for non-classical first-order algebraizable logics, pendent de publicació a Logic Journal of the IGPL. (amb P. Dellunde i À. García-Cerdaña)
  4. A note on natural extensions in abstract algebraic logic, Studia Logica 103 (2015) 815-823. (amb P. Cintula)
  5. Paraconsistency properties in degree-preserving fuzzy logics, Soft Computing - A Fusion of Foundations, Methodologies and Applications 19 (2015) 531-546. (amb R. Ertola, F. Esteva, T. Flaminio i L. Godo)
  6. A Henkin-style proof of completeness for first-order algebraizable logics, The Journal of Symbolic Logic 80 (2015) 341-358. (amb P. Cintula)
  7. Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties, The Review of Symbolic Logic 6 (2013) 394-423. (amb P. Cintula i R. Horcík)
  8. A logical approach to fuzzy truth hedges, Information Sciences 232 (2013) 366-385. (amb F. Esteva i L. Godo)
  9. The proof by cases property and its variants in structural consequence relations, Studia Logica 101 (2013) 713-747. (amb P. Cintula)
  10. Implicational (Semilinear) Logics I: A New Hierarchy, Archive for Mathematical Logic 49 (2010) 417-446. (amb P. Cintula)
  11. Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics, Journal of Logic and Computation 20 (2010) 399-424. (amb F. Montagna)
  12. Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Information Sciences 180 (2010) 1354-1372. (amb F. Esteva i L. Godo)
  13. Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics, Soft Computing - A Fusion of Foundations, Methodologies and Applications 14 (2010) 273-284. (amb F. Esteva i L. Godo)
  14. On expansions of WNM t-norm based logics with truth-constants, Fuzzy Sets and Systems 161 (2010) 347-368. (amb F. Esteva and L. Godo)
  15. First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, Annals of Pure and Applied Logic 161 (2009) 185-202. (amb F. Esteva i L. Godo)
  16. Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Annals of Pure and Applied Logic 160 (2009) 53-81. (amb P. Cintula, F. Esteva, J. Gispert, L. Godo i F. Montagna)
  17. Un apropament matemàtic al problema de la vaguetat, Butlletí de la Societat Catalana de Matemàtiques 23 (2008) 233-273.
  18. On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic, Mathematical Logic Quarterly 54 (2008) 387-409. (amb F. Esteva i J. Gispert)
  19. On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truth-constants, Mathware & Soft Computing 14 (2007) 233-246. (amb F. Esteva i L. Godo)
  20. On n-contractive fuzzy logics, Mathematical Logic Quarterly 53 (2007) 268-288. (amb R. Horcík i M. Petrík)

  21. Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Fuzzy Sets and Systems 158 (2007) 597-618. (amb F. Esteva, J. Gispert i L. Godo)

  22. On weakly cancellative fuzzy logics, Journal of Logic and Computation 16 (2006) 423-450. (amb F. Montagna i R. Horcík)

  23. On product logic with truth constants, Journal of Logic and Computation 16 (2006) 205-225. (amb P. Savický, R. Cignoli, F. Esteva i L. Godo)

  24. On Rational Weak Nilpotent Minimum Logics, Journal of Multiple-valued Logic & Soft Computing 12 (2006) 9-32. (amb F. Esteva i L. Godo)

  25. On some varieties of MTL-algebras, Logic Journal of the IGPL 13 (2005) 443-466. (amb F. Esteva i J. Gispert)

  26. Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Archive for Mathematical Logic 44 (2005) 869-886. (amb F. Esteva i J. Gispert)
  27. On the scope of some formulas defining additive connectives in fuzzy logics, Fuzzy Sets and Systems 154 (2005) 56-75. (amb À. García-Cerdaña i F. Esteva)

ARTICLES A ACTES DE CONGRESSOS:

  1. Löwenheim-Skolem theorems for first-order algebraizable logics, The Second Israeli Workshop on Non-Classical Logics and Their Applications – book of abstracts, pp. 29-32, Haifa, Israel, 2014. (amb P. Dellunde i À. García-Cerdaña)
  2. Modal logics of uncertainty with two layer-syntax: a general completeness theorem. Logic, Language, Information and Computation - 21st International Workshop, WoLLIC 2014, Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds), Valparaiso, Xile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124 - 136. (ISBN: 978-3-662-44144-2) (amb P. Cintula)
  3. Advances on elementary equivalence in model theory of fuzzy logics, Logic Colloquium and Logic, Algebra and Truth Degrees: Abstract Booklet, Matthias Baaz, Agata Ciabattoni, Stefan Hetzl (eds), Kurt Gödel Society, Viena, Àustria, Juliol 2014. (amb P. Dellunde i À. García-Cerdaña)
  4. Paraconsistent degree-preserving fuzzy logic, Handbook of 5th World Congress on Paraconsistency, Jean-Yves Béziau, Arthur Buchsbaum, Alvaro Altair (eds), Indian Statistical Institute, Calcuta, Índia, pp. 47 - 48. (ISBN: 978-93-83373-02-4) (amb R. Ertola, F. Esteva, T. Flaminio i L. Godo)
  5. Exploring paraconsistency in degree-preserving fuzzy logics, Proceedings of the 8th conference of the European Society for Fuzzy Logic and Technology EUSFLAT 2013, Gabriela Pasi, Javier Montero, Davide Ciucci (eds), Atlantis Press, pp. 117 - 124. (ISBN: 978-90786-77-78-9) (amb R. Ertola, F. Esteva, T. Flaminio i L. Godo)
  6. Two-layer modal logics: from fuzzy logics to a general framework, Proceedings of 6th Topology, Algebra and Categories in Logic TACL 2013, N. Galatos. A. Kurz and C. Tsinakis (eds), EPiC Series, vol. 123, pp. 43 - 47, Vanderbilt University, Nashville, Tennessee, EUA, 2013. (amb P. Cintula)
  7. On the role of disjunction in the theory of consequence relations, 27th International Symposium Logica 2013 - abstracts, pp. 22 - 24, 2013. (amb P. Cintula)
  8. A note on the hierarchy of algebraizable logics, Handbook of the 4th World Congress and School on Universal Logic, pp. 356 – 357, J.Y. Béziau, A. Buchsbaum and A. Costa-Leite (eds), Rio de Janeiro, Brasil, 2013. (amb P. Cintula)
  9. On the scope of the completeness theorem for first-order predicate logic, Handbook of the 4th World Congress and School on Universal Logic, pp. 223, J.Y. Béziau, A. Buchsbaum and A. Costa-Leite (eds), Rio de Janeiro, Brasil, 2013. (amb P. Cintula)
  10. A basic fuzzy logic which is really basic and fuzzy, Logic, Algebra and Truth Degrees 2012 - Book of abstracts, pp. 67 - 70, K. Terui and N. Preining (eds), Japan Advanced Institute of Science and Technology, Kanazawa, Japó, 2012.  (amb P. Cintula i R. Horcík)
  11. Semilinear non-associative substructural logics: completeness properties and complexity, 15th Latin American Symposium on Mathematical Logic 2012, Bogotà, Colòmbia, The Bulletin of Symbolic Logic 19 (2013) 409 - 410. (amb P. Cintula, Z. Haniková i R. Horcík)
  12. Non-associative substructural logics: alternative axiomatization, algebraic and logical properties, 15th Latin American Symposium on Mathematical Logic 2012, Bogotà, Colòmbia, The Bulletin of Symbolic Logic 19 (2013) 418. (amb P. Cintula, Z. Haniková i R. Horcík)
  13. Almost (MP)-based logics, Twelfth Asian Logic Conference 2011, Wellington, Nova Zelanda, The Bulletin of Symbolic Logic 19 (2013) 274. (amb P. Cintula)
  14. Generalized disjunctions in (infinitary) structural consequence relations, Logic Colloquium 2011, Barcelona, The Bulletin of Symbolic Logic 18 (2012) 442-443. (amb P. Cintula)
  15. An abstract study of disjunction connectives in non-classical logics, Reunión de la Unión Matemática Argentina, UMA 2012 - Libro de resúmenes, pp. 142 - 143, San Miguel de Tucumán, Argentina, 2011. (amb P. Cintula)
  16. Amost (MP)-based substructural logics, Fifth International Conference on Topology, Algebra, and Categories in Logic, pp. 71 - 74, L. Santocanale, N. Olivetti, Y. Lafont (eds), Marseilles, França, 2011. (amb P. Cintula)
  17. Fuzzy logics with truth hedges revisited, Fuzzy logics with truth hedges revisited, Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT-2011) and LFA-2011, Advances in Intelligent Systems Research, pp. 146 – 152, Sylvie Galichet, Javier Montero, Gilles Mauris (eds), Atlantis Press, 2011. (ISBN: 978-90-78677-00-0) (amb F. Esteva i L. Godo)

  18. (Non-associative) Substructural Fuzzy Logics, Algebraic Semantics for Uncertainty and Vagueness - Booklet of abstracts, pp. 31 - 37, University of Salerno, Itàlia, 2011. (amb P. Cintula)
  19. Implicational logics vs. order algebraizable logics, Logic, Algebra and Truth Degrees 2010 - volume of abstracts, pp. 72 - 73, K. Chvalovský, P. Cintula, C. Noguera (eds), Institute for Theoretical Computer Science Series, vol. 502, Praga, 2010. (amb P. Cintula)

  20. A general approach to non-classical first-order logics, 3rd World Congress and School on Universal Logic UniLog 2010 – Book of Abstracts, pp. 11 – 12, J.Y. Béziau, C. Caleiro, A. Costa-Leite, J. Ramos (eds), Instituto Superior Técnico – Departamento de Matemática, Indústria Portuguesa de Tipografia Lda, Lisboa, 2010 (ISBN: 978-972-99289-2-5). (amb P. Cintula)

  21. Logics with a (lattice) disjunction and their completeness properties, Proceedings of the 31st Linz Seminar on Fuzzy Set Theory "Lattice-Valued Logic and its Applications", pp. 26 - 30, P. Cintula, E.P. Klement, L. Stout (eds), Universitätsdirektion, Johannes Kepler Universität, A-4040 Linz, 2010. (amb P. Cintula)

  22. From fuzzy set theory to mathematical fuzzy logic, Proceedings of the Tenth International Conference on Fuzzy Set Theory and Applications FSTA 2010, p. 12, E.P. Klement, R. Mesiar, P. Struk, E. Drobná (eds), Printing House of the Armed Forces Academy of General M.R. Stefánik in Liptovský Mikulás, Slovakia, 2010. (ISBN: 978-80-8040-391-1)

  23. An abstract approach to fuzzy logics: implicational semilinear logics, Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, pp. 519 - 524, J.P. Carvalho, D. Dubois, U. Kaymak, J.M. Da Costa Sousa (eds), Lisbon, Portugal, 2009. (ISBN: 978-989-95079-6-8) (amb P. Cintula)

  24. On generalized continuous and left-continuous t-norms over chains: a survey, Proceedings of the 30th Linz Seminar on Fuzzy Set Theory "The legacy of 30 seminars - where do we stand and where do we go?", pp. 40-41, U. Bodenhofer, B. de Baets, E.P. Klement, S. Saminger-Platz (eds), Universitätsdirektion, Johannes Kepler Universität, A-4040 Linz, 2009. (amb F. Esteva i L. Godo)

  25. Rational completeness results for prominent propositional fuzzy logics with truth-constants, Actas del XIV congreso español sobre tecnologías y lógica fuzzy ESTYLF 2008, pp.133-139, Mieres, 2008. (ISBN: 978-84-691-5807-4) (amb F. Esteva i L. Godo)

  26. Hierarchies of definable disjunctions and implications in non-classical logics, Volume of Abstracts of the Sixth European Conference on Analytical Philosophy, p. 98, V. Kukushkina, K. Kijania-Placek (eds), Krakow, 2008. (amb P. Cintula)
  27. On completeness results for the expansions with truth-constants of some predicate fuzzy logics, New dimensions in fuzzy logic and related technologies - Proceedings of Fifth EUSFLAT, Volume II, pp. 21-26, M. Stepnicka, V. Novák, U. Bodenhofer (eds), Universitas Ostraviensis, 2007. (ISBN: 978-80-7368-387-0) (amb F. Esteva i L. Godo)
  28. Real, rational and finite chain semantics for fuzzy logics, Actas del XIII congreso español sobre tecnologías y lógica fuzzy ESTYLF 2006, pp. 83-88, Ciudad Real, 2006. (ISBN: 84-689-9547-9) (amb F. Esteva i L. Godo)

  29. Real, rational and finite chain semantics for fuzzy logics, The Logic of Soft Computing Workshop VI & Workshop of the ERCIM working group on Soft Computing, pp. 44-48, S. Gottwald, P. Hájek, M. Ojeda-Aciego (eds), Universidad de Málaga, 2006. (amb F. Esteva i L. Godo)

  30. On n-contractive fuzzy logics: first results, Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledge-based systems, pp. 1612-1619, Paris, 2006. (ISBN : 2-84254-112-X) (amb F. Esteva i J. Gispert)

  31. On weakly cancellative fuzzy logics, Proceedings of The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing, pp. 59-61, V. Novák, M. Stepnicka (eds), Research report No. 77, Institute for Research and Applications of Fuzzy Modeling, University of Ostrava, Ostrava, Czech Republic, 2005. (amb F. Montagna and R. Horcík)

  32. On varieties generated by Weak Nilpotent Minimum t-norms, Proceedings of Fourth EUSFLAT, pp. 866-871, Barcelona, 2005. (ISBN: 84-7653-872-3) (amb F. Esteva i J. Gispert)

  33. On product fuzzy logic with truth-constants, Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005, vol. 2, pp. 1244-1249, Yingming Liu, Guoqing Chen, Mingsheng Ying (eds), Tsinghua University Press, Springer, 2005. (ISBN: 7-302-11377) (amb R. Cignoli, F. Esteva i L. Godo)

  34. On Rational Weak Nilpotent Minimum Logics, Actas del XII congreso español sobre tecnologías y lógica fuzzy ESTYLF 2004, pp. 413-418, Universidad de Jaén, 2004. (ISBN: 84-609-2160-3) (amb F. Esteva i L. Godo)

  35. On Rational Gödel and Nilpotent Minimum Logics, Tenth international conference IPMU 2004, Information processing and management of uncertainty in knowledge-based systems, vol. 1, pp. 561-568, Casa editrice Università La Sapienza, Perugia, 2004. (ISBN: 88-87242-54-2) (amb F. Esteva i L. Godo)

  36. On definability of additive connectives in fuzzy logics, Tenth international conference IPMU 2004, Information processing and management of uncertainty in knowledge-based systems, vol. 1, pp. 485-492, Casa editrice Università La Sapienza, Perugia, 2004. (ISBN: 88-87242-54-2) (amb À. García-Cerdaña i F. Esteva)
  37. On definability of maximum in left-continuous t-norms, Proceedings of Third EUSFLAT, pp. 271-288, M. Wagenknecht, R. Hampel (eds), Zittau, 2003. (ISBN: 3-9808089-4-7) (amb F. Esteva i À. García-Cerdaña)

PREPRINTS:

  1. Solution of some open problems in the arithmetical complexity of first-order fuzzy logics, 2011. ArXiv, eprint service of Cornell University. Descarregable a http://arxiv.org/abs/1111.5920. (amb F. Bou)

TESIS:

  1. Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, Tesi doctoral, Universitat de Barcelona, 2006.
  2. T-normes i lògiques borroses, Treball de DEA, Universitat de Barcelona, 2004.
  3. Lògiques borroses involutives, Treball de DEA, Universitat de Barcelona, 2004.