معرفی
Dr. Guillermo Badia is a Senior Lecturer in Logic at the School of Historical and Philosophical Inquiry, University of Queensland, Australia. His research spans mathematical and philosophical logic, with a focus on many-valued, substructural, and computational logics. From 2022–2025, he held the Discovery Early Career Researcher Award (DE220100544, 383,975 AUD) from the Australian Research Council.
- Editorial Board: Archive for Mathematical Logic and Journal of Multiple-Valued Logic and Soft Computing
- Academic Genealogy: Descendant of G. H. Hardy via R. Rado, K. Gravett, John N. Crossley, John L. Bell, G. Priest, Z. Weber
Research Areas include:
- Many-valued predicate logics and residuated lattices
- Hybrid, modal, and weighted logic
- Bi-intuitionistic and relevant logic
- Graded model theory and non-classical metatheory
- Applications in computer science and database theory
Scientific Contributions highlight trends in:
- Real-valued first-order logics and hybrid-dynamic games
- Frame definability and asymptotic truth-value laws
- Weighted complexity class characterizations
- Substructural consequence relations
Awards:
- Discovery Early Career Researcher Award (DE220100544) from Australian Research Council
۰مقاله منتشرشده
