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
2018
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
2018
Conference Publication
Saturated models in mathematical fuzzy logic
Badia, Guillermo and Noguera, Carles (2018). Saturated models in mathematical fuzzy logic. 2018 IEEE 48th International Symposium on Multiple-Valued Logic (ISMVL), Linz, Austria, 16-18 May 2018. Piscataway, NJ United States: Institute of Electrical and Electronics Engineers. doi: 10.1109/ismvl.2018.00034
2018
Journal Article
Variable sharing in substructural logics: an algebraic characterization
Badia, Guillermo (2018). Variable sharing in substructural logics: an algebraic characterization. Bulletin of the Section of Logic, 47 (2), 107-115. doi: 10.18778/0138-0680.47.2.03
2017
Journal Article
Infinitary propositional relevant languages with absurdity
Badia, Guillermo (2017). Infinitary propositional relevant languages with absurdity. Review of Symbolic Logic, 10 (4), 663-681. doi: 10.1017/S1755020317000132
2017
Journal Article
Model definability in relevant logic
Badia, Guillermo (2017). Model definability in relevant logic. The IfCoLog Journal of Logics and their Applications, 4 (3), 623-645.
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: