Overview
Background
I am a Senior Lecturer in Logic in the School of Historical and Philosophical Inquiry at the University of Queensland, Australia. From 2022-2025, my work was supported by the Discovery Early Career Researcher Award DE220100544 (383,975 AUD in funds) given by the Australian Research Council. I serve on the editorial boards of Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing. According to the Mathematics Genealogy Project, I am one of the many academic descendants of G. H. Hardy through the path G. H. Hardy - R. Rado - K. Gravett - John N. Crossley - John L. Bell - G. Priest - Z. Weber - me. Jointly with John Crossley and John Stillwell, I have written a book entitled What is Mathematical Logic? (2ed.) to be published by Oxford University Press.
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
residuated lattices, model theory of many-valued predicate 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
2022
Journal Article
Craig Interpolation fails in Bi-Intuitionistic Predicate Logic
Olkhovikov, Grigory and Badia, Guillermo (2022). Craig Interpolation fails in Bi-Intuitionistic Predicate Logic. Review of Symbolic Logic, 17 (2) PII S1755020322000296, 1-23. doi: 10.1017/S1755020322000296
2022
Journal Article
Paraconsistent metatheory: new proofs with old tools
Badia, Guillermo, Weber, Zach and Girard, Patrick (2022). Paraconsistent metatheory: new proofs with old tools. Journal of Philosophical Logic, 51 (4), 825-856. doi: 10.1007/s10992-022-09651-x
2022
Conference Publication
Robinson consistency in many-sorted hybrid first-order logics
Gaina, Daniel, Badia, Guillermo and Kowalski, Tomasz (2022). Robinson consistency in many-sorted hybrid first-order logics. 2022 Advances in Modal Logic (AiML), Rennes, France, 22-25 August 2022. London, United Kingdom: College Publications.
2022
Journal Article
Axiomatization via translation: Hiz's warning for predicate logic
Badia, Guillermo, Crossley, John and Humberstone, Lloyd (2022). Axiomatization via translation: Hiz's warning for predicate logic. Logique et Analyse, 257 (257), 39-56. doi: 10.2143/LEA.257.0.3291070
2021
Journal Article
A 0-1 law in mathematical fuzzy logic
Badia, Guillermo and Noguera, Carles (2021). A 0-1 law in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 30 (9), 1-1. doi: 10.1109/TFUZZ.2021.3131200
2021
Journal Article
The performance of social responsible investing from retail investors' perspective: international evidence
Badía, Guillermo, Ferruz, Luis and Cortez, Maria Céu (2021). The performance of social responsible investing from retail investors' perspective: international evidence. International Journal of Finance and Economics, 26 (4), 6074-6088. doi: 10.1002/ijfe.2109
2021
Journal Article
Maximality of bi-intuitionistic propositional logic
Olkhovikov, Grigory and Badia, Guillermo (2021). Maximality of bi-intuitionistic propositional logic. Journal of Logic and Computation, 32 (1) exab058, 1-31. doi: 10.1093/logcom/exab058
2021
Journal Article
A general omitting types theorem in mathematical fuzzy logic
Badia, Guillermo and Noguera, Carles (2021). A general omitting types theorem in mathematical fuzzy logic. IEEE Transactions on Fuzzy Systems, 29 (6) 9003263, 1386-1394. doi: 10.1109/TFUZZ.2020.2975146
2021
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
2020
Journal Article
Saturated models in first-order many-valued logics
Badia, Guillermo and Noguera, Carles (2020). Saturated models in first-order many-valued logics. Logic Journal of the IGPL, 30 (1), 1-20. doi: 10.1093/jigpal/jzaa027
2020
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, 15 (2), 1-18. doi: 10.1017/S175502032000012X
2020
Journal Article
A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain
Badia, Guillermo and Olkhovikov, Grigory (2020). A Lindström Theorem in Many-Valued Modal Logic over a Finite MTL-chain. Fuzzy Sets and Systems, 388, 26-37. doi: 10.1016/j.fss.2019.03.002
2020
Journal Article
A Lindström theorem for intuitionistic propositional logic
Badia, Guillermo and Olkhovikov, Grigory (2020). A Lindström theorem for intuitionistic propositional logic. Notre Dame Journal of Formal Logic, 61 (1), 11-30. doi: 10.1215/00294527-2019-0030
2019
Book Chapter
A substructural logic for inconsistent mathematics
Badia, Guillermo and Weber, Zach (2019). A substructural logic for inconsistent mathematics. Dialetheism and its applications. (pp. 155-176) edited by Adam Reiger and Gareth Young. Cham, Switzerland: Springer. doi: 10.1007/978-3-030-30221-4_9
2019
Journal Article
Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic
Badia, Guillermo, Costa, Vicent, Dellunde, Pilar and Noguera, Carles (2019). Syntactic characterizations of classes of first-order structures in mathematical fuzzy logic. Soft Computing, 23 (7), 2177-2186. doi: 10.1007/s00500-019-03850-6
2019
Journal Article
Incompactness of the A1 fragment of basic second order propositional relevant logic
Badia, Guillermo (2019). Incompactness of the A1 fragment of basic second order propositional relevant logic. Australasian Journal of Logic, 16 (1), 1-8. doi: 10.26686/ajl.v16i1.3925
2018
Journal Article
Fraisse classes of graded relational structures
Badia, Guillermo and Noguera, Carles (2018). Fraisse classes of graded relational structures. Theoretical Computer Science, 737, 81-90. doi: 10.1016/j.tcs.2018.05.010
2018
Journal Article
On Sahlqvist formulas in relevant logic
Badia, Guillermo (2018). On Sahlqvist formulas in relevant logic. Journal of Philosophical Logic, 47 (4), 673-691. doi: 10.1007/s10992-017-9445-y
2018
Journal Article
On elimination of quantifiers in some non-classical mathematical theories
Badia, Guillermo and Tedder, Andrew (2018). On elimination of quantifiers in some non-classical mathematical theories. Mathematical Logic Quarterly, 64 (3), 140-154. doi: 10.1002/malq.201600078
2018
Journal Article
Currying omnipotence (a reply to Beall and Cotnoir)
Tedder, Andrew and Badia, Guillermo (2018). Currying omnipotence (a reply to Beall and Cotnoir). Thought: A Journal of Philosophy, 7 (2), 119-121. doi: 10.1002/tht3.376
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
Complexity and definability in many-valued finite model theory
Principal Advisor
-
Doctor Philosophy
Model-theoretic aspects of infinitary modal logics
Principal Advisor
-
Doctor Philosophy
Algebraic Properties of Bi-intuitionistic Equivalence
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: