Researcher biography
Since January 2019, I'm a Lecturer (continuing position) in Logic at the University of Queensland (Australia). Before this, I was a postdoc in mathematical logic in the Department of KnowledgeBased Mathematical Systems at Johannes Kepler University Linz (Austria) on an FWF project on residuated structures. Overlapping with this, I also worked on a GACR project on predicate graded logics. I received my PhD from the University of Otago (New Zealand) in May 2017. My current research focuses on mathematical fuzzy logic. In particular, I bring methods from model theory into the area of fuzzy logic. More broadly, I'm interested in nonclassical logics (in particular semantical analysis by both algebraic and modeltheoretic methods), nonclassical mathematics, and philosophy of logic/mathematics. My website is here.
Research Interests
 Manyvalued logics and related algebras
fuzzy logics, residuated lattices, model theory of fuzzy logics  Substructural logics with relational semantics
intuitionistic logic, relevant logic  Nonclassical mathematics
mathematics done in a nonclassical logical background
Qualifications
 Doctor of Philosophy, University of Otago
Publications

Journal Article: A Lindström Theorem in ManyValued Modal Logic over a Finite MTLchain
Badia, Guillermo and Olkhovikov, Grigory (2019) A Lindström Theorem in ManyValued Modal Logic over a Finite MTLchain. Fuzzy Sets and Systems, Forthcoming . doi:10.1016/j.fss.2019.03.002

Journal Article: Syntactic characterizations of classes of firstorder structures in mathematical fuzzy logic
Badia, Guillermo, Costa, Vicent, Dellunde, Pilar and Noguera, Carles (2019) Syntactic characterizations of classes of firstorder structures in mathematical fuzzy logic. Soft Computing, . doi:10.1007/s00500019038506

Journal Article: Fraisse classes of graded relational structures
Badia, Guillermo and Noguera, Carles (2018) Fraisse classes of graded relational structures. Theoretical Computer Science, 737 8190. doi:10.1016/j.tcs.2018.05.010

Journal Article: On classes of structures axiomatizable by universal dHorn sentences and universal positive disjunctions
Badia, Guillermo and Marcos, Joao (2018) On classes of structures axiomatizable by universal dHorn sentences and universal positive disjunctions. Algebra Universalis, 79 2: 41. doi:10.1007/s000120180522z