Guillermo Badia

I am a Senior Lecturer in Logic in the School of Historical and Philosophical Inquiry at The University of Queensland, Australia.

I serve on the editorial boards of Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing. I am also a member of the Executive of the Australasian Association of Philosophy, and from 2026, I will be Chair of the Committee on Logic in Australasia of the Association for Symbolic Logic.

RESEARCH INTERESTS: Many-valued (particularly, semiring-valued) predicate logics. Intuitionistic, bi-intuitionistic, relevant, paraconsistent, and modal logics. Equality-free first-order logic. Second-order Logic. Logic in Computer Science.

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.

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 N. Crossley and John Stillwell, I have written a book entitled What is Mathematical Logic?, 2ed., to be published by Oxford University Press in 2025. The website of the book to order is here.

The tree on the cover is an Ilawara Flame Tree. A similar tree was planted at Monash University in memory of Chris Ash, one of the co-authors of the book.