Home

Publicacions

LLIBRES:

  1. 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. 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, Pendent de publicació a Journal of Logic and Computation (editat per P. Cintula, G. Metcalfe i C. Noguera).

ARTICLES A REVISTES:

  1. Implicational (Semilinear) Logics I: A New Hierarchy, Archive for Mathematical Logic 49 (2010) 417-446. (amb P. Cintula)
  2. Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics, Journal of Logic and Computation 20 (2010) 399-424. (amb F. Montagna)
  3. Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Information Sciences 180 (2010) 1354-1372. (amb F. Esteva and L. Godo)
  4. 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)
  5. 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)
  6. 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)
  7. 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)
  8. Un apropament matemàtic al problema de la vaguetat, Butlletí de la Societat Catalana de Matemàtiques 23 (2008) 233-273.
  9. 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)
  10. 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)

  11. On n-contractive fuzzy logics, Mathematical Logic Quarterly 53 (2007) 268-288. (amb R. Horcík i M. Petrík)

  12. 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)

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

  14. 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)

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

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

  17. 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)
  18. 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 LLIBRES DE CONGRESSOS:

  1. Implicational logics vs. order algebraizable logics, To appear in Proceedings of Logic, Algebra and Truth Degrees 2010, Prague, 2010. (amb P. Cintula)

  2. 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)

  3. Logics with a (lattice) disjunction and their completeness properties, Proceedings of the 31th 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)

  4. 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)

  5. 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)

  6. 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)

  7. 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. (amb F. Esteva i L. Godo)

  8. 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)
  9. 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. (amb F. Esteva i L. Godo)

  10. 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. (amb F. Esteva i L. Godo)

  11. 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)

  12. 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. (amb F. Esteva i J. Gispert)

  13. 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)

  14. On varieties generated by Weak Nilpotent Minimum t-norms, Proceedings of Fourth EUSFLAT, pp. 866-871, Barcelona, 2005. (amb F. Esteva i J. Gispert)

  15. 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. (amb R. Cignoli, F. Esteva i L. Godo)

  16. 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. (amb F. Esteva i L. Godo)

  17. 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. (amb F. Esteva i L. Godo)

  18. 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. (amb À. García-Cerdaña i F. Esteva)
  19. On definability of maximum in left-continuous t-norms, Proceedings of Third EUSFLAT, pp. 271-288, M. Wagenknecht, R. Hampel (eds), Zittau, 2003. (amb F. Esteva i À. García-Cerdaña)

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.