Katalin Bimbó (born 1963) is a logician and philosopher known for her books on

mathematical logic Mathematical logic is the study of Logic#Formal logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory (also known as computability theory). Research in mathematical logic com ...

and

proof theory Proof theory is a major branchAccording to , proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. consists of four corresponding parts, with part D being about "Proof The ...

. She earned a Ph.D. in 1999 at

Indiana University Bloomington Indiana University Bloomington (IU Bloomington, Indiana University, IU, IUB, or Indiana) is a public university, public research university in Bloomington, Indiana, United States. It is the flagship university, flagship campus of Indiana Univer ...

, under the supervision of Jon Michael Dunn, and is a professor of philosophy at the

University of Alberta The University of Alberta (also known as U of A or UAlberta, ) is a public research university located in Edmonton, Alberta, Canada. It was founded in 1908 by Alexander Cameron Rutherford, the first premier of Alberta, and Henry Marshall Tory, t ...

after having earned tenure there in 2013.

Selected works

Monographs

*''Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi'' (with J. M. Dunn, CSLI Publications, 2008) *''Combinatory Logic: Pure, Applied and Typed'' (CRC Press, 2012) *''Proof Theory: Sequent Calculi and Related Formalisms'' (CRC Press, 2015)

Edited volumes

*''J. Michael Dunn on Information Based Logics'' (Outstanding Contributions to Logic, volume 8; Springer, 2016). *''Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn'' (Tributes, volume 46; College Publications, London, United Kingdom, 2022).

References

External links

Home page
1963 births Living people Canadian logicians Canadian women mathematicians Canadian women philosophers Mathematical logicians Women logicians Indiana University Bloomington alumni Academic staff of the University of Alberta {{Canada-philosopher-stub