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