Overview
Background
I am a Senior Lecturer in Logic (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 serve as an editor for Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing.
Availability
- Dr Guillermo Badia is:
- Available for supervision
- Media expert
Fields of research
Qualifications
- Doctor of Philosophy, University of Otago
Research interests
-
Many-valued logics and related algebras
fuzzy logics, residuated lattices, model theory of fuzzy logics
-
Computational logic
modal logic, hybrid logic, weighted logic
-
Substructural logics
intuitionistic logic, relevant logic, bi-intuitionistic logic
Works
Search Professor Guillermo Badia’s works on UQ eSpace
2017
Journal Article
A remark on Maksimova's variable separation property in super-bi-intuitionistic logics
Badia, Guillermo (2017). A remark on Maksimova's variable separation property in super-bi-intuitionistic logics. Australasian Journal of Logic, 14 (1), 46-53. doi: 10.26686/ajl.v14i1.4027
2016
Journal Article
Bi-simulating in bi-intuitionistic logic
Badia, Guillermo (2016). Bi-simulating in bi-intuitionistic logic. Studia Logica, 104 (5), 1037-1050. doi: 10.1007/s11225-016-9664-1
2016
Journal Article
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity
Badia, Guillermo (2016). A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. Logic Journal of the IGPL, 24 (2), 115-137. doi: 10.1093/jigpal/jzv054
2016
Journal Article
The relevant fragment of first order logic
Badia, Guillermo (2016). The relevant fragment of first order logic. Review of Symbolic Logic, 9 (1), 143-166. doi: 10.1017/S1755020315000313
2016
Journal Article
What is an inconsistent truth table?
Weber, Zach, Badia, Guillermo and Girard, Patrick (2016). What is an inconsistent truth table?. Australasian Journal of Philosophy, 94 (3), 533-548. doi: 10.1080/00048402.2015.1093010
2013
Journal Article
Possible worlds and paradoxes Mundos posibles y paradojas
Badía, Guillermo (2013). Possible worlds and paradoxes Mundos posibles y paradojas. Arete, 25 (2), 219-229.
Supervision
Availability
- Dr Guillermo Badia is:
- Available for supervision
Before you email them, read our advice on how to contact a supervisor.
Supervision history
Current supervision
-
Doctor Philosophy
Algebraic Properties of Bi-intuitionistic Equivalence
Principal Advisor
-
Doctor Philosophy
Complexity and definability in many-valued finite model theory
Principal Advisor
-
Doctor Philosophy
Model-theoretic aspects of infinitary modal logics
Principal Advisor
Completed supervision
-
2023
Doctor Philosophy
A Naturalistic Framework for Metaphysics
Associate Advisor
Other advisors: Associate Professor Joel Katzav
Media
Enquiries
Contact Dr Guillermo Badia directly for media enquiries about:
- logic
- mathematical logic
- philosophy of mathematics
- truth
Need help?
For help with finding experts, story ideas and media enquiries, contact our Media team: