Publications

BOOKS:

  1. Slabě implikativní logiky: Úvod do abstraktního studia výrokových logik, Univerzita Karlova v Praze, Filozofická fakulta, Prague, 2015. (ISBN: 978-80-7308-576–6) (with 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)

CHAPTERS IN BOOKS:

  1. The quest for the basic fuzzy logic, Petr Hájek on Mathematical Fuzzy Logic, chapter 12, F. Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245 - 290. (ISBN: 978-3-319-06232-7) (with P. Cintula and R. Horcík)
  2. Arithmetical complexity of first-order fuzzy logics, Handbook of Mathematical Fuzzy Logic - volume 2, chapter XI, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011, pp. 853 - 908. (ISBN: 978-1-84890-054-7) (with P. Hájek and F. Montagna)
  3. A general framework for Mathematical Fuzzy Logic, Handbook of Mathematical Fuzzy Logic - volume 1, chapter II, P. Cintula, P. Hájek, C. Noguera (eds), Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011, pp. 103 - 207. (ISBN: 978-1-84890-039-4) (with 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) (with F. Esteva and J. Gispert)
EDITED VOLUMES AND SPECIAL ISSUES:
  1. Special issue on Mathematical Fuzzy Logic in honor of Francesc Esteva, Fuzzy Sets and Systems, to appear. (edited by F. Bou, M. Cerami, À. García-Cerdaña, L. Godo and C. Noguera).
  2. Handbook of Mathematical Fuzzy Logic - volume 3, Studies in Logic, Mathematical Logic and Foundations, College Publications, London, to appear. (edited by P. Cintula, C. Fermüller and C. Noguera)
  3. Handbook of Mathematical Fuzzy Logic - volume 2, Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011. (ISBN: 978-1-84890-054-7) (edited by P. Cintula, P. Hájek and C. Noguera)
  4. Handbook of Mathematical Fuzzy Logic - volume 1, Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011. (ISBN: 978-1-84890-039-4) (edited by P. Cintula, P. Hájek and C. Noguera)
  5. Special issue on Mathematical Fuzzy Logic, Journal of Logic and Computation, Volume 21, Issue 5, 2011. (edited by P. Cintula, G. Metcalfe and C. Noguera)
  6. Logic, Algebra and Truth Degrees 2010 - volume of abstracts, Institute for Theoretical Computer Science Series, vol. 502, Prague, Czech Republic, 2010. (edited by K. Chvalovský, P. Cintula and C. Noguera)

PAPERS IN JOURNALS:

  1. A new hierarchy of (in)finitary logics in abstract algebraic logic, submitted. (with T. Lávička)
  2. Implicational (Semilinear) Logics II: additional connectives and characterizations of semilinearity, Archive for Mathematical Logic 55 (2016) 353-372. (with P. Cintula)
  3. Löwenheim-Skolem theorems for non-classical first-order algebraizable logics, to appear in Logic Journal of the IGPL. (with P. Dellunde and À. García-Cerdaña)
  4. A note on natural extensions in abstract algebraic logic, Studia Logica 103 (2015) 815-823. (with P. Cintula)
  5. Paraconsistency properties in degree-preserving fuzzy logics, Soft Computing - A Fusion of Foundations, Methodologies and Applications 19 (2015) 531-546. (with R. Ertola, F. Esteva, T. Flaminio and L. Godo)
  6. A Henkin-style proof of completeness for first-order algebraizable logics, The Journal of Symbolic Logic 80 (2015) 341-358. (with P. Cintula)
  7. Non-associative substructural logis and their semilinear extensions: axiomatization and completeness properties, The Review of Symbolic Logic 6 (2013) 794-423. (with P. Cintula and R. Horcík)
  8. A logical approach to fuzzy truth hedges, Information Sciences 232 (2013) 366-385. (with F. Esteva and L. Godo)
  9. The proof by cases property and its variants in structural consequence relations, Studia Logica 101 (2013) 713-747. (with P. Cintula)
  10. Implicational (Semilinear) Logics I: A New Hierarchy, Archive for Mathematical Logic 49 (2010) 417-446. (with P. Cintula)
  11. Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics, Journal of Logic and Computation 20 (2010) 399-424. (with F. Montagna)
  12. Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Information Sciences 180 (2010) 1354-1372. (with F. Esteva and 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. (with F. Esteva and L. Godo)
  14. On expansions of WNM t-norm based logics with truth-constants, Fuzzy Sets and Systems 161 (2010) 347-368. (with 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. (with F. Esteva and 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. (with P. Cintula, F. Esteva, J. Gispert, L. Godo and F. Montagna)
  17. A mathematical approach to the vagueness problem, Butlletí de la Societat Catalana de Matemàtiques 23 (2008) 233-273. (in Catalan)
  18. On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic, Mathematical Logic Quarterly 54 (2008) 387-409. (with F. Esteva and 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. (with F. Esteva and L. Godo)
  20. On n-contractive fuzzy logics, Mathematical Logic Quarterly 53 (2007) 268-288. (with R. Horcík and 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. (with F. Esteva, J. Gispert and L. Godo)

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

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

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

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

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

PAPERS IN CONFERENCE PROCEEDINGS:

  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. (with P. Dellunde and À. 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, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124 - 136. (ISBN: 978-3-662-44144-2) (with 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, Vienna, Austria, July 2014. (with P. Dellunde and À. 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, Calcutta, India, pp. 47 - 48. (ISBN: 978-93-83373-02-4) (with R. Ertola, F. Esteva, T. Flaminio and 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) (with R. Ertola, F. Esteva, T. Flaminio and 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, USA, 2013.
  7. On the role of disjunction in the theory of consequence relations. 27th International Symposium Logica 2013 - abstracts, pp. 22 - 24, 2013. (with 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, Brazil, 2013. (with 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, Brazil, 2013. (with 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, Japan, 2012. (with P. Cintula and R. Horcík)
  11. Semilinear non-associative substructural logics: completeness properties and complexity, 15th Latin American Symposium on Mathematical Logic 2012, Bogotá, Colombia, The Bulletin of Symbolic Logic 19 (2013) 409 - 410. (with P. Cintula, Z. Haniková, and R. Horcík)
  12. Non-associative substructural logics: alternative axiomatization, algebraic and logical properties, 15th Latin American Symposium on Mathematical Logic 2012, Bogotá, Colombia, The Bulletin of Symbolic Logic 19 (2013) 418. (with P. Cintula, Z. Haniková, and R. Horcík)
  13. Almost (MP)-based logics, Twelfth Asian Logic Conference 2011, Wellington, New Zealand, The Bulletin of Symbolic Logic 19 (2013) 274. (with P. Cintula)
  14. Generalized disjunction connectives in (infinitary) structural consequence relations, Logic Colloquium 2011, Barcelona, The Bulletin of Symbolic Logic 18 (2012) 442-443. (with P. Cintula)
  15. An abstract study of disjunction connectives in non-classical logics, Reunión de la Unión Matemática Argentina, UMA 2011 - Libro de resúmenes, pp. 142 - 143, San Miguel de Tucumán, Argentina, 2011. (with P. Cintula)
  16. Almost (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, France, 2011. (with P. Cintula)
  17. 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) (with F. Esteva and L. Godo)

  18. (Non-associative) Substructural Fuzzy Logics, Algebraic Semantics for Uncertainty and Vagueness - Booklet of abstracts, pp. 31 - 37, University of Salerno, Salerno, Italy, 2011. (with 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, Prague, 2010. (with 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). (with 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. (with 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) (with 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. (with F. Esteva and 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) (with F. Esteva and 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. (with 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) (with F. Esteva and 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) (with F. Esteva and 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. (with F. Esteva and 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) (with F. Esteva and 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. (with 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) (with F. Esteva and 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) (with R. Cignoli, F. Esteva and 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) (with F. Esteva and 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) (with F. Esteva and 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) (with À. García-Cerdaña and 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) (with F. Esteva and À. García-Cerdaña)

PREPRINTS:

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

DISSERTATIONS:

  1. Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, PhD Thesis, University of Barcelona, 2006.
  2. T-norms and Fuzzy Logic, Master Thesis, University of Barcelona, 2004. (in Catalan)
  3. Involutive fuzzy logics, Master Thesis, University of Barcelona, 2004. (in Catalan)