Dr Guillermo Badia


School of Historical and Philosophical Inquiry
Faculty of Humanities and Social Sciences
+61 7 336 53321


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 Knowledge-Based 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 non-classical logics (in particular semantical analysis by both algebraic and model-theoretic methods), non-classical mathematics, and philosophy of logic/mathematics. My website is here.

Research Interests

  • Many-valued logics and related algebras
    fuzzy logics, residuated lattices, model theory of fuzzy logics
  • Substructural logics with relational semantics
    intuitionistic logic, relevant logic
  • Non-classical mathematics
    mathematics done in a non-classical logical background


  • Doctor of Philosophy, University of Otago


View all Publications


  • Doctor Philosophy

  • Doctor Philosophy

View all Supervision


Featured Publications

Book Chapter

  • Badia, Guillermo and Weber, Zach (2019). A substructural logic for inconsistent mathematics. In Gareth Young and Adam Reiger (Ed.), Dialetheism and its applications Forthcoming ed. (pp. 1-24) United States: Springer.

Journal Article

Conference Publication

  • Badia, Guillermo and Noguera, Carles (2018). Saturated models in mathematical fuzzy logic. In: 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL). 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), Linz, Austria, (150-155). 16-18 May 2018. doi:10.1109/ismvl.2018.00034

PhD and MPhil Supervision

Current Supervision

  • Doctor Philosophy — Principal Advisor

    Other advisors:

  • Doctor Philosophy — Associate Advisor

    Other advisors: