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 within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

and

proof theory Proof theory is a major branchAccording to Wang (1981), pp. 3–4, proof theory is one of four domains mathematical logic, together with model theory, axiomatic set theory, and recursion theory. Jon Barwise, Barwise (1978) consists of four correspo ...

. She earned a Ph.D. in 1999 at

Indiana University Indiana University (IU) is a system of public universities in the U.S. state of Indiana. Campuses Indiana University has two core campuses, five regional campuses, and two regional centers under the administration of IUPUI. *Indiana Universit ...

, under the supervision of

Jon Michael Dunn J. Michael Dunn (June 19, 1941 – April 5, 2021) was Oscar Ewing Professor Emeritus of Philosophy, Professor Emeritus of Informatics and Computer Science, was twice chair of the Philosophy Department, was Executive Associate Dean of the College ...

, 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,"A Gentleman of Strathcona – Alexander Cameron Rutherfor ...

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, vol. 8; Springer, 2016). *''Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn'' (Tributes, vol. 46; College Publications, London, UK, 2022).

References

External links

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