Katalin_Bimbó

Katalin Bimbó

Katalin Bimbó

Logician

Katalin Bimbó (born 1963)[1] 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,[2] and is a professor of philosophy at the University of Alberta[3] after having earned tenure there in 2013.[4]

Selected works

Monographs

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

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

  1. [1]
    Birth year from Library of Congress catalog entry, retrieved 2021-03-07
  2. [2]
    Katalin Bimbó at the Mathematics Genealogy Project
  3. [3]
    "Katalin Bimbo, Professor, Faculty of Arts – Philosophy Dept", Directory, University of Alberta, retrieved 2021-03-07
  4. [4]
    "Tenure awarded to Katalin Bimbó and Marie-Eve Morin", Philosophy News, University of Alberta, 2 December 2012, retrieved 2021-03-07
  5. [5]
    Reviews of Generalized Galois Logics: R. Gylys (2009), MR2459113; Ewa Orłowska (2011), Studia Logica, JSTOR 41475163; Alasdair Urquhart (2010), Bulletin of Symbolic Logic, JSTOR 27805181
  6. [6]
    Reviews of Combinatory Logic: Martin W. Bunder, Zbl 1245.03001; Felice Cardone (2012), MR2817087; Morten Heine Sørensen (2013), Studia Logica, JSTOR 43651690
  7. [7]
    Reviews of Proof Theory: Andrzej Indrzejczak, Zbl 1302.03001; Pierluigi Minari, MR3363164; Thomas Strahm (2016), Bulletin of Symbolic Logic, JSTOR 43830161; Róbert Vajda (2015), Acta Sci. Math.,


This biography of a Canadian philosopher is a stub. You can help Wikipedia by expanding it.
Share this article:

This article uses material from the Wikipedia article Katalin_Bimbó, and is written by contributors. Text is available under a CC BY-SA 4.0 International License; additional terms may apply. Images, videos and audio are available under their respective licenses.