PUBLICATIONS
If you are interested in receiving a pre-published version (with the intended typesetting) of any of these works, contact me.
BOOKS:
Logic and Implication: An Introduction to the General Algebraic Study of Non-Classical Logics, Trends in Logic, Springer vol. 57, 2021. (ISBN: 978-3-030-85674-8) (with P. Cintula)
Slabě implikativní logiky: Úvod do abstraktního studia výrokových logik, Univerzita Karlova v Praze, Filozofická fakulta, Prague, 2015. (in Czech) (ISBN: 978-80-7308-576-6) (with P. Cintula)
Algebraic study of axiomatic extensions of triangular norm based fuzzy logics, Monographs of the Artificial Intelligence Research Institute vol. 27, Barcelona, 2007. (ISBN: 978-84-00-08538-4)
CHAPTERS IN BOOKS:
Lluís Godo on Mathematical Fuzzy logic. In Festschrift for Lluís Godo, Francesc Esteva (ed), Institut de Mathematiques de Toulouse, 2017, pp. 24-31. (with P. Dellunde)
The quest for the basic fuzzy logic. In Petr Hájek on Mathematical Fuzzy Logic, chapter 12, Franco Montagna (ed), Outstanding Contributions to Logic, vol. 6, Springer, 2014, pp. 245-290. (ISBN: 978-3-319-06232-7) (with P. Cintula and R. Horčík)
Arithmetical complexity of first-order fuzzy logics. In 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)
A general framework for Mathematical Fuzzy Logic. In 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)
On n-contractive fuzzy logics: first results. In 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)
PAPERS IN PEER-REVIEWED JOURNALS:
Asymptotic truth-value laws in many-valued logics. Submitted. (with G. Badia and X. Caicedo)
Information types in intuitionistic predicate logic with constant domains. Submitted. (with V. Punčochář)
New foundations of reasoning via real-valued first-order logics. Submitted. (with G. Badia and R. Fagin)
Maximality of logic without identity. Journal of Symbolic Logic 89(1):147-162, 2024. (with G. Badia and X. Caicedo)
Frame definability in finitely-valued modal logics. Annals of Pure and Applied Logic 174:103273, 2023. (with G. Badia and X. Caicedo)
These degrees go to eleven: fuzzy Logics and gradable predicates. Synthese 200:445, 2022. (with P. Cintula, B. Grimau, and N.J.J. Smith)
A 0-1 Law in Mathematical Fuzzy Logic, IEEE Transactions on Fuzzy Systems 30:3833-3840, 2022. (with G. Badia)
Saturated models of first-order many-valued logics, Logic Journal of the IGPL 30:1-20, 2022. (with G. Badia)
A general omitting types theorem in mathematical fuzzy logic, IEEE Transactions on Fuzzy Systems 29:1386-1394, 2021. (with G. Badia)
Lindström theorems in graded model theory, Annals of Pure and Applied Logic 172(3):102916, 2021. (with G. Badia)
Classical and fuzzy two-layered modal logics for uncertainty: translations and proof theory, International Journal of Computational Intelligence Systems 13:988-1001, 2020. (with P. Baldi and P. Cintula)
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic, Soft Computing 23:2177-2186, 2019. (with G. Badia, V. Costa, and P. Dellunde)
Towards a general possible-world semantics for modal many-valued logics, Soft Computing 23:2233-2241, 2019. (with P. Cintula and P. Menchón)
Extension properties and subdirect representation in abstract algebraic logic, Studia Logica 106:1065-1095, 2018. (with T. Lávička)
Fraïssé classes of graded relational structures, Theoretical Computer Science 737:81-90, 2018. (with G. Badia)
Back-and-forth systems for first-order fuzzy logics, Fuzzy Sets and Systems 345:83-98, 2018. (with P. Dellunde and À. García-Cerdaña)
Neighborhood semantics for modal many-valued logics, Fuzzy Sets and Systems 345:99-112, 2018. (with P. Cintula)
Implicational (semilinear) logics III: completeness properties, Archive for Mathematical Logic 57:391-420, 2018. (with P. Cintula)
A new hierarchy of infinitary logics in abstract algebraic logic, Studia Logica 105:521-551, 2017. (with T. Lávička)
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics, Logic Journal of the IGPL 24:321-345, 2016. (with P. Dellunde and À. García-Cerdaña)
Implicational (semilinear) logics II: additional connectives and characterizations of semilinearity, Archive for Mathematical Logic 55:353-372, 2016. (with P. Cintula)
A note on natural extensions in abstract algebraic logic, Studia Logica 103:815-823, 2015. (with P. Cintula)
Paraconsistency properties in degree-preserving fuzzy logics, Soft Computing 19:531-546, 2015. (with R. Ertola, F. Esteva, T. Flaminio, and L. Godo)
A Henkin-style proof of completeness for first-order algebraizable logics, Journal of Symbolic Logic 80:341-358, 2015. (with P. Cintula)
Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties, Review of Symbolic Logic 6:794-423, 2013. (with P. Cintula and R. Horčík)
A logical approach to fuzzy truth hedges, Information Sciences 232:366-385, 2013. (with F. Esteva and L. Godo)
The proof by cases property and its variants in structural consequence relations, Studia Logica 101:713-747, 2013. (with P. Cintula)
Implicational (Semilinear) Logics I: A New Hierarchy, Archive for Mathematical Logic 49:417-446, 2010. (with P. Cintula)
Arithmetical complexity of first-order predicate fuzzy logics over distinguished semantics, Journal of Logic and Computation 20:399-424, 2010. (with F. Montagna)
Generalized continuous and left-continuous t-norms arising from algebraic semantics for fuzzy logics, Information Sciences 180:1354-1372, 2010. (with F. Esteva and L. Godo)
Expanding the propositional logic of a t-norm with truth-constants: completeness results for rational semantics, Soft Computing 14:273-284, 2010. (with F. Esteva and L. Godo)
On expansions of WNM t-norm based logics with truth-constants, Fuzzy Sets and Systems 161:347-368, 2010. (with F. Esteva and L. Godo)
First-order t-norm based fuzzy logics with truth-constants: distinguished semantics and completeness properties, Annals of Pure and Applied Logic 161:185-202, 2009. (with F. Esteva and L. Godo)
Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies, Annals of Pure and Applied Logic 160:53-81, 2009. (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:233-273, 2008. (in Catalan)
On triangular norm based axiomatic extensions of the Weak Nilpotent Minimum logic, Mathematical Logic Quarterly 54:387-409, 2008. (with F. Esteva and J. Gispert)
On completeness results for predicate Lukasiewicz, Product, Godel, and Nilpotent Minimum logics expanded with truth-constants, Mathware & Soft Computing 14:233-246, 2007. (with F. Esteva and L. Godo)
On n-contractive fuzzy logics, Mathematical Logic Quarterly 53:268-288, 2007. (with R. Horčík and M. Petrík)
Adding truth-constants to logics of continuous t-norms: axiomatization and completeness results, Fuzzy Sets and Systems 158:597-618, 2007. (with F. Esteva, J. Gispert, and L. Godo)
On weakly cancellative fuzzy logics, Journal of Logic and Computation 16:423-450, 2006. (with F. Montagna and R. Horčík)
On product logic with truth constants, Journal of Logic and Computation 16:205-225, 2006. (with P. Savický, R. Cignoli, F. Esteva, and L. Godo)
On Rational Weak Nilpotent Minimum Logics, Journal of Multiple-valued Logic & Soft Computing 12:9-32, 2006. (with F. Esteva and L. Godo)
On some varieties of MTL-algebras, Logic Journal of the IGPL 13:443-466, 2005. (with F. Esteva and J. Gispert)
Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Archive for Mathematical Logic 44:869-886, 2005. (with F. Esteva and J. Gispert)
On the scope of some formulas defining additive connectives in fuzzy logics, Fuzzy Sets and Systems 154:56-75, 2005. (with À. García-Cerdaña and F. Esteva)
PAPERS IN PEER-REVIEWED CONFERENCE PROCEEDINGS:
Logical Characterizations of Weighted Complexity Classes. Proceedings of the 49th International Symposium on Mathematical Foundations of Computer Science MFCS 2024. (with G. Badia, M. Droste, and E. Paul)
Translating Classical Probability Logics into Modal Fuzzy Logics. Proceedings of the 11th conference of the European Society for Fuzzy Logic and Technology EUSFLAT 2019, Martin Štěpnička (ed), Atlantis Press, pp. 342-349, 2019. (ISBN: 978-94-6252-770-6) (with P. Baldi and P. Cintula)
Saturated models in mathematical fuzzy logic. Proceedings of the IEEE International Symposium on Multiple-Valued Logic 2018, IEEE Computer Society, pp. 150-155, 2018. (with G. Badia)
A logical framework for graded predicates. International Workshop on Logic, Rationality and Interaction LORI 2017, A. Baltag, J. Seligman, and T. Yamada (eds), Lecture Notes in Computer Science, vol. 10455, pp. 3-16, 2017. (ISBN: 978-3-662-55664-1) (with P. Cintula and N.J.J. Smith)
From Kripke to neighborhood semantics for modal fuzzy logics. Information Processing and Management of Uncertainty, 16th International Conference, Eindhoven, The Netherlands, June 20-24, 2016, J.P. Carvalho, M.J. Lesot, U. Kaymak, S. Vieira, B. Bouchon-Meunier, and R.R. Yager (eds), pp. 95-107, Communications in Computer and Information Science, Volume 611, Springer, 2016. (ISBN: 978-3-319-40580-3) (with P. Cintula and J. Rogger)
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ó, and Ruy de Queiroz (eds), Valparaíso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Springer, pp. 124-136. (ISBN: 978-3-662-44144-2) (with P. Cintula)
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, and Davide Ciucci (eds), Atlantis Press, pp. 117-124. (ISBN: 978-90786-77-78-9) (with R. Ertola, F. Esteva, T. Flaminio, and L. Godo)
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, and Gilles Mauris (eds), Atlantis Press, 2011. (ISBN: 978-90-78677-00-0) (with F. Esteva and L. Godo)
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, and J.M. Da Costa Sousa (eds), Lisbon, Portugal, 2009. (ISBN: 978-989-95079-6-8) (with P. Cintula)
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)
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. Štěpnička, V. Novák, U. Bodenhofer (eds), Universitas Ostraviensis, 2007. (ISBN: 978-80-7368-387-0) (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. 83-88, Ciudad Real, 2006. (ISBN: 84-689-9547-9) (with F. Esteva and L. Godo)
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)
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)
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)
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)
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)
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)
On definability of maximum in left-continuous t-norms, Proceedings of Third EUSFLAT, pp. 609-613, M. Wagenknecht, R. Hampel (eds), Zittau, 2003. (ISBN: 3-9808089-4-7) (with F. Esteva and À. García-Cerdaña)