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.
Researcher biography
 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 for intuitionistic propositional logic
Badia, Guillermo and Olkhovikov, Grigory (2019) A Lindström theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, Forthcoming .

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

Journal Article: On Sahlqvist formulas in relevant logic
Badia, Guillermo (2018) On Sahlqvist formulas in relevant logic. Journal of Philosophical Logic, 47 4: 673691. doi:10.1007/s109920179445y

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: . doi:10.1007/s000120180522z