Katalin Bimbó is a logician. She works at the University of Alberta in Canada. Earlier, she held academic positions at other universities including Indiana University Bloomington (USA), Victoria University of Wellington (New Zealand) and the Australian National University (Australia). Katalin Bimbó's main research interests are in the field of nonclassical logics such as combinatory logic, relevance logics, modal logics, substructural and structurally free logics. She and J. Michael Dunn solved (in 2010) a long-open problem concerning the decidability of the logic of implicational ticket entailment. She proved MELL (the multiplicative-exponential fragment of linear logic) decidable in 2014. J. M. Dunn and she soon extended the latter result to full linear logic. All these decidability results rely on sequent calculi, and on the Curry-Kleene-Kripke approach. Set-theoretic semantics for nonclassical logics is another area of her research, within which she currently focuses on applications of the ternary accessibility relation.
