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 (62 anos) |
| Alma mater |
|
| Ocupação | lógica, professora universitária |
| Empregador(a) | Universidade de Alberta |
| Orientador(a)(es/s) | Jon Michael Dunn |
| Página oficial | |
| https://sites.ualberta.ca/~bimbo/ | |
Formação e carreira
editarObteve 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
editarMonografias
editar- 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
editar- J. Michael Dunn on Information Based Logics (Springer, 2016).
Referências
editar- ↑ Ano de nascimento em Library of Congress catalog entry, acessado em 28 de fevereiro de 2022
- ↑ Katalin Bimbó (em inglês) no Mathematics Genealogy Project
- ↑ «Katalin Bimbo, Professor, Faculty of Arts – Philosophy Dept», University of Alberta, Directory, consultado em 28 de fevereiro de 2022
- ↑ «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
- ↑ Reviews of Generalized Galois Logics: R. Gylys (2009),
; Ewa Orłowska (2011), Studia Logica, ; Alasdair Urquhart (2010), Bull. Symb. Logic,
- ↑ Reviews of Combinatory Logic: Martin W. Bunder, Zbl 1245.03001; Felice Cardone (2012), ; Morten Heine Sørensen (2013), Studia Logica,
- ↑ Reviews of Proof Theory: Andrzej Indrzejczak, Zbl 1302.03001; Pierluigi Minari, ; Thomas Strahm (2016), Bull. Symb. Logic, ; Róbert Vajda (2015), Acta Sci. Math., [1]
