معرفی
Guillermo Badia is a Senior Lecturer in Logic at the School of Historical and Philosophical Inquiry, The University of Queensland, Australia. He serves on the editorial boards of Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing, and is a member of the Executive of the Australasian Association of Philosophy. From 2026, he will assume the role of Chair for the Committee on Logic in Australasia under the Association for Symbolic Logic.
Research Focus: Badia's work centers on non-classical logical frameworks, with primary emphasis on many-valued and semiring-valued predicate logics. His expertise extends to intuitionistic, bi-intuitionistic, relevant, paraconsistent, and modal logics, alongside specialized investigations into equality-free first-order logic, second-order logic, and computational applications of logical systems.
Scientific Awards:
- Discovery Early Career Researcher Award (DE220100544) from the Australian Research Council (2022-2025), providing 383,975 AUD in research funding.
Publications and Academic Lineage: He is co-authoring the second edition of What is Mathematical Logic? with John N. Crossley and John Stillwell for Oxford University Press (2025 publication). According to the Mathematics Genealogy Project, Badia's academic lineage originates with G. H. Hardy through the chain: G. H. Hardy → R. Rado → K. Gravett → John N. Crossley → John L. Bell → G. Priest → Z. Weber → Guillermo Badia. The book cover features an Ilawara Flame Tree planted at Monash University in memory of Chris Ash, co-author of the original edition.
