Katalin Bimbó
Katalin Bimbó is a logician and philosopher known for her books on mathematical logic and proof theory. She earned a Ph.D. in 1999 at Indiana University Bloomington, under the supervision of Jon Michael Dunn, and is a professor of philosophy at the University of Alberta after having earned tenure there in 2013.
Selected works
Monographs
- Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi
- Combinatory Logic: Pure, Applied and Typed
- ''Proof Theory: Sequent Calculi and Related Formalisms''