Katalin Bimbó

Katalin Bimbó (1963)[1] é uma lógica e filósofa canadense, conhecida por seus livros sobre lógica matemática e teoria da prova.

Katalin Bimbó
Nascimento 1963 (61 anos)
Alma mater
  • Universidade de Indiana
Ocupação lógica
Empregador(a) Universidade de Alberta

Formação e carreira

Obteve um Ph.D. em 1999 na Universidade de Indiana, orientada por Jon Michael Dunn.[2] É professora de filosofia na Universidade de Alberta,[3] depois de ter conquistado tenure em 2013.[4]

Obras selecionadas

Monografias
  • 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]

Volumes editados
  • J. Michael Dunn on Information Based Logics (Springer, 2016).

Referências
  1. Ano de nascimento em Library of Congress catalog entry, acessado em 28 de fevereiro de 2022
  2. Katalin Bimbó (em inglês) no Mathematics Genealogy Project
  3. «Katalin Bimbo, Professor, Faculty of Arts – Philosophy Dept», University of Alberta, Directory, consultado em 28 de fevereiro de 2022
  4. «Tenure awarded to Katalin Bimbó and Marie-Eve Morin», University of Alberta, Philosophy News, 2 de dezembro de 2012, consultado em 28 de fevereiro de 2022
  5. Reviews of Generalized Galois Logics: R. Gylys (2009), Recorde militar; Ewa Orłowska (2011), Studia Logica, ; Alasdair Urquhart (2010), Bull. Symb. Logic,
  6. Reviews of Combinatory Logic: Martin W. Bunder, Zbl 1245.03001; Felice Cardone (2012), Recorde militar; Morten Heine Sørensen (2013), Studia Logica,
  7. Reviews of Proof Theory: Andrzej Indrzejczak, Zbl 1302.03001; Pierluigi Minari, Recorde militar; Thomas Strahm (2016), Bull. Symb. Logic, ; Róbert Vajda (2015), Acta Sci. Math.,

Ligações externas
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.