Publications
BOOKS:
 Slabě implikativní logiky: Úvod do abstraktního studia výrokových logik, Univerzita Karlova v Praze, Filozofická fakulta, Prague, 2015. (ISBN: 978807308576–6) (with P. Cintula)
 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: 9788400085384)
CHAPTERS IN BOOKS:
 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: 9783319062327) (with P. Cintula and R. Horcík)
 Arithmetical complexity of firstorder 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: 9781848900547) (with P. Hájek and F. Montagna)
 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: 9781848900394) (with P. Cintula)
 On ncontractive fuzzy logics: first results, Uncertainty and Intelligent Information Systems, B. BouchonMeunier, R.R. Yager, C. Marsala, and M. Rifqi (eds), World Scientific, 2008, pp. 433  446. (ISBN: 9789812792341) (with F. Esteva and J. Gispert)
EDITED VOLUMES AND SPECIAL ISSUES:
 Special issue on Mathematical Fuzzy Logic in honor of Francesc Esteva, Fuzzy Sets and Systems, to appear. (edited by F. Bou, M. Cerami, À. GarcíaCerdaña, L. Godo and C. Noguera).
 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)
 Handbook of Mathematical Fuzzy Logic  volume 2, Studies in Logic, Mathematical Logic and Foundations, vol. 38, College Publications, London, 2011. (ISBN: 9781848900547) (edited by P. Cintula, P. Hájek and C. Noguera)
 Handbook of Mathematical Fuzzy Logic  volume 1, Studies in Logic, Mathematical Logic and Foundations, vol. 37, College Publications, London, 2011. (ISBN: 9781848900394) (edited by P. Cintula, P. Hájek and C. Noguera)
 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)
 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:
 A new hierarchy of (in)finitary logics in abstract algebraic logic, submitted. (with T. Lávička)
 Implicational (Semilinear) Logics II: additional connectives and characterizations of semilinearity, Archive for Mathematical Logic 55 (2016) 353372. (with P. Cintula)
 LöwenheimSkolem theorems for nonclassical firstorder algebraizable logics, to appear in Logic Journal of the IGPL. (with P. Dellunde and À. GarcíaCerdaña)
 A note on natural extensions in abstract algebraic logic, Studia Logica 103 (2015) 815823. (with P. Cintula)
 Paraconsistency properties in degreepreserving fuzzy logics, Soft Computing  A Fusion of Foundations, Methodologies and Applications 19 (2015) 531546. (with R. Ertola, F. Esteva, T. Flaminio and L. Godo)
 A Henkinstyle proof of completeness for firstorder algebraizable logics, The Journal of Symbolic Logic 80 (2015) 341358. (with P. Cintula)
 Nonassociative substructural logis and their semilinear extensions: axiomatization and completeness properties, The Review of Symbolic Logic 6 (2013) 794423. (with P. Cintula and R. Horcík)
 A logical approach to fuzzy truth hedges, Information Sciences 232 (2013) 366385. (with F. Esteva and L. Godo)
 The proof by cases property and its variants in structural consequence relations, Studia Logica 101 (2013) 713747. (with P. Cintula)
 Implicational (Semilinear) Logics I: A New Hierarchy, Archive for Mathematical Logic 49 (2010) 417446. (with P. Cintula)
 Arithmetical complexity of firstorder predicate fuzzy logics over distinguished semantics, Journal of Logic and Computation 20 (2010) 399424. (with F. Montagna)
 Generalized continuous and leftcontinuous tnorms arising from algebraic semantics for fuzzy logics, Information Sciences 180 (2010) 13541372. (with F. Esteva and L. Godo)
 Expanding the propositional logic of a tnorm with truthconstants: completeness results for rational semantics, Soft Computing  A Fusion of Foundations, Methodologies and Applications 14 (2010) 273284. (with F. Esteva and L. Godo)
 On expansions of WNM tnorm based logics with truthconstants, Fuzzy Sets and Systems 161 (2010) 347368. (with F. Esteva and L. Godo)
 Firstorder tnorm based fuzzy logics with truthconstants: distinguished semantics and completeness properties, Annals of Pure and Applied Logic 161 (2009) 185202. (with F. Esteva and L. Godo)
 Distinguished algebraic semantics for tnorm based fuzzy logics: methods and algebraic equivalencies, Annals of Pure and Applied Logic 160 (2009) 5381. (with P. Cintula, F. Esteva, J. Gispert, L. Godo and F. Montagna)
 A mathematical approach to the vagueness problem, Butlletí de la Societat Catalana de Matemàtiques 23 (2008) 233273. (in Catalan)
 On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic, Mathematical Logic Quarterly 54 (2008) 387409. (with F. Esteva and J. Gispert)
 On completeness results for predicate Lukasiewicz, Product, Gödel, and Nilpotent Minimum logics expanded with truthconstants, Mathware & Soft Computing 14 (2007) 233246. (with F. Esteva and L. Godo)

On ncontractive fuzzy logics, Mathematical Logic Quarterly 53 (2007) 268288. (with R. Horcík and M. Petrík)

Adding truthconstants to logics of continuous tnorms: axiomatization and completeness results, Fuzzy Sets and Systems 158 (2007) 597618. (with F. Esteva, J. Gispert and L. Godo)

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

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

On Rational Weak Nilpotent Minimum Logics, Journal of Multiplevalued Logic & Soft Computing 12 (2006) 932. (with F. Esteva and L. Godo)

On some varieties of MTLalgebras, Logic Journal of the IGPL 13 (2005) 443466. (with F. Esteva and J. Gispert)
 Perfect and bipartite IMTLalgebras and disconnected rotations of prelinear semihoops, Archive for Mathematical Logic 44 (2005) 869886. (with F. Esteva and J. Gispert)
 On the scope of some formulas defining additive connectives in fuzzy logics, Fuzzy Sets and Systems 154 (2005) 5675. (with À. GarcíaCerdaña and F. Esteva)
PAPERS IN CONFERENCE PROCEEDINGS:
 LöwenheimSkolem theorems for firstorder algebraizable logics, The Second Israeli Workshop on NonClassical Logics and Their Applications – book of abstracts, pp. 2932, Haifa, Israel, 2014. (with P. Dellunde and À. GarcíaCerdaña)
 Modal logics of uncertainty with two layersyntax: 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 14, 2014, Lecture Notes in Computer Science, Springer, pp. 124  136. (ISBN: 9783662441442) (with P. Cintula)
 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íaCerdaña)
 Paraconsistent degreepreserving fuzzy logic, Handbook of 5th World Congress on Paraconsistency, JeanYves Béziau, Arthur Buchsbaum, Alvaro Altair (eds), Indian Statistical Institute, Calcutta, India, pp. 47  48. (ISBN: 9789383373024) (with R. Ertola, F. Esteva, T. Flaminio and L. Godo)
 Exploring paraconsistency in degreepreserving 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: 9789078677789) (with R. Ertola, F. Esteva, T. Flaminio and L. Godo)
 Twolayer 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.
 On the role of disjunction in the theory of consequence relations. 27th International Symposium Logica 2013  abstracts, pp. 22  24, 2013. (with P. Cintula)
 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. CostaLeite (eds), Rio de Janeiro, Brazil, 2013. (with P. Cintula)
 On the scope of the completeness theorem for firstorder predicate logic, Handbook of the 4th World Congress and School on Universal Logic, pp. 223, J.Y. Béziau, A. Buchsbaum and A. CostaLeite (eds), Rio de Janeiro, Brazil, 2013. (with P. Cintula)
 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)
 Semilinear nonassociative 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)
 Nonassociative 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)
 Almost (MP)based logics, Twelfth Asian Logic Conference 2011, Wellington, New Zealand, The Bulletin of Symbolic Logic 19 (2013) 274. (with P. Cintula)
 Generalized disjunction connectives in (infinitary) structural consequence relations, Logic Colloquium 2011, Barcelona, The Bulletin of Symbolic Logic 18 (2012) 442443. (with P. Cintula)
 An abstract study of disjunction connectives in nonclassical 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)
 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)

Fuzzy logics with truth hedges revisited, Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT2011) and LFA2011, Advances in Intelligent Systems Research, pp. 146 – 152, Sylvie Galichet, Javier Montero, Gilles Mauris (eds), Atlantis Press, 2011. (ISBN: 9789078677000) (with F. Esteva and L. Godo)
 (Nonassociative) Substructural Fuzzy Logics, Algebraic Semantics for Uncertainty and Vagueness  Booklet of abstracts, pp. 31  37, University of Salerno, Salerno, Italy, 2011. (with P. Cintula)

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)

A general approach to nonclassical firstorder logics, 3rd World Congress and School on Universal Logic UniLog 2010 – Book of Abstracts, pp. 11 – 12, J.Y. Béziau, C. Caleiro, A. CostaLeite, J. Ramos (eds), Instituto Superior Técnico – Departamento de Matemática, Indústria Portuguesa de Tipografia Lda, Lisboa, 2010 (ISBN: 9789729928925). (with P. Cintula)

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

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: 9788080403911)

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: 9789899507968) (with P. Cintula)

On generalized continuous and leftcontinuous tnorms 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. 4041, U. Bodenhofer, B. de Baets, E.P. Klement, S. SamingerPlatz (eds), Universitätsdirektion, Johannes Kepler Universität, A4040 Linz, 2009. (with F. Esteva and L. Godo)

Rational completeness results for prominent propositional fuzzy logics with truthconstants, Actas del XIV congreso español sobre tecnologías y lógica fuzzy ESTYLF 2008, pp. 133139, Mieres, 2008. (ISBN: 9788469158074) (with F. Esteva and L. Godo)
 Hierarchies of definable disjunctions and implications in nonclassical logics, Volume of Abstracts of the Sixth European Conference on Analytical Philosophy, p. 98, V. Kukushkina, K. KijaniaPlacek (eds), Krakow, 2008. (with P. Cintula)
 On completeness results for the expansions with truthconstants of some predicate fuzzy logics, New dimensions in fuzzy logic and related technologies  Proceedings of Fifth EUSFLAT, Volume II, pp. 2126, M. Stepnicka, V. Novák, U. Bodenhofer (eds), Universitas Ostraviensis, 2007. (ISBN: 9788073683870) (with F. Esteva and L. Godo)

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. 8388, Ciudad Real, 2006. (ISBN: 8468995479) (with F. Esteva and L. Godo)

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. 4448, S. Gottwald, P. Hájek, M. OjedaAciego (eds), Universidad de Málaga, 2006. (with F. Esteva and L. Godo)

On ncontractive fuzzy logics: first results, Eleventh international conference IPMU 2006, Information processing and management of uncertainty in knowledgebased systems, pp. 16121619, Paris, 2006. (ISBN : 284254112X) (with F. Esteva and J. Gispert)

On weakly cancellative fuzzy logics, Proceedings of The Logic of Soft Computing IV & 4th Workshop of the ERCIM Working Group on Soft Computing, pp. 5961, 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)

On varieties generated by Weak Nilpotent Minimum tnorms, Proceedings of Fourth EUSFLAT, pp. 866871, Barcelona, 2005. (ISBN: 8476538723) (with F. Esteva and J. Gispert)

On product fuzzy logic with truthconstants, Proceedings of the Eleventh International Fuzzy Systems Association World Congress IFSA 2005, vol. 2, pp. 12441249, Yingming Liu, Guoqing Chen, Mingsheng Ying (eds), Tsinghua University Press, Springer, 2005. (ISBN: 730211377) (with R. Cignoli, F. Esteva and L. Godo)

On Rational Weak Nilpotent Minimum Logics, Actas del XII congreso español sobre tecnologías y lógica fuzzy ESTYLF 2004, pp. 413418, Universidad de Jaén, 2004. (ISBN: 8460921603) (with F. Esteva and L. Godo)

On Rational Gödel and Nilpotent Minimum Logics, Tenth international conference IPMU 2004, Information processing and management of uncertainty in knowledgebased systems, vol. 1, pp. 561568, Casa editrice Università La Sapienza, Perugia, 2004. (ISBN: 8887242542) (with F. Esteva and L. Godo)
 On definability of additive connectives in fuzzy logics, Tenth international conference IPMU 2004, Information processing and management of uncertainty in knowledgebased systems, vol. 1, pp. 485492, Casa editrice Università La Sapienza, Perugia, 2004. (ISBN: 8887242542) (with À. GarcíaCerdaña and F. Esteva)
 On definability of maximum in leftcontinuous tnorms, Proceedings of Third EUSFLAT, pp. 271288, M. Wagenknecht, R. Hampel (eds), Zittau, 2003. (ISBN: 3980808947) (with F. Esteva and À. GarcíaCerdaña)
PREPRINTS:
 Solution of some open problems in arithmetical complexity of firstorder fuzzy logics, 2011. ArXiv, eprint service of Cornell University. Available at http://arxiv.org/abs/1111.5920 (with F. Bou)
DISSERTATIONS:
 Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, PhD Thesis, University of Barcelona, 2006.
 Tnorms and Fuzzy Logic, Master Thesis, University of Barcelona, 2004. (in Catalan)
 Involutive fuzzy logics, Master Thesis, University of Barcelona, 2004. (in Catalan)
