
Researcher 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
Qualifications
- Doctor of Philosophy, University of Otago
Publications
- Journal Article: Lindström theorems in graded model theory
- Badia, Guillermo and Noguera, Carles (2021). Lindström theorems in graded model theory. Annals of Pure and Applied Logic, 172 (3) 102916, 102916. doi: 10.1016/j.apal.2020.102916
- Journal Article: A general omitting types theorem in mathematical fuzzy logic
- Badia, Guillermo and Noguera, Carles (2020). A general omitting types theorem in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 1. doi: 10.1109/TFUZZ.2020.2975146
- Journal Article: How much propositional logic suffices for Rosser’s essential undecidability theorem?
- Badia, Guillermo, Cintula, Petr, Hajek, Petr and Tedder, Andrew (2020). How much propositional logic suffices for Rosser’s essential undecidability theorem?. Review of Symbolic Logic, 1-17. doi: 10.1017/S175502032000012X
- Journal Article: On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions
- Badia, Guillermo and Marcos, Joao (2018). On classes of structures axiomatizable by universal d-Horn sentences and universal positive disjunctions. Algebra Universalis, 79 (2) 41, 41. doi: 10.1007/s00012-018-0522-z
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 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. Since 2020, I'll be an editor of the Journal of Multiple-Valued Logic and Soft Computing (so please get in touch if you want me to handle your manuscript). My website is here.
Featured projects | Duration |
---|---|
Invitation to Submit | 2021 |