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.

WWW sites.ualberta.ca/~bimbo

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''

Edited volumes

J. Michael Dunn on Information Based Logics.
Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn.