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
I'm a Lecturer in Philosophy (continuing position) 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 in computer science. I received my PhD from the University of Otago (New Zealand) in 2017. From 2022-2025, my research is supported by an ARC Discovery Early Career Researcher Award (DE220100544). There was a workshop to kick off the project in 10-12 November 2022. I'm 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).
| Featured projects | Duration |
|---|---|
| Invitation to Submit | 2021 |