Katalin Bimbó (nacida en 1963) [1] es una lógica y filósofa conocida por sus libros sobre lógica matemática y teoría de la prueba . Obtuvo un doctorado. en 1999 en la Universidad de Indiana , bajo la supervisión de Jon Michael Dunn , [2] y es profesor de filosofía en la Universidad de Alberta [3] después de haber obtenido una titularidad allí en 2013 [4].
Ella es la autora de:
- Lógicas de Galois generalizadas: semántica relacional de cálculos lógicos no clásicos (con JM Dunn, CSLI Publications, 2008) [5]
- Lógica combinatoria: pura, aplicada y tipificada (CRC Press, 2012) [6]
- Teoría de la prueba: cálculos secuenciales y formalismos relacionados (CRC Press, 2015) [7]
Sus volúmenes editados incluyen J. Michael Dunn en Information Based Logics (Springer, 2016).
Referencias
- ^ Año de nacimiento de la entrada del catálogo de la Biblioteca del Congreso , consultado el 7 de marzo de 2021
- ^ Katalin Bimbó en el Proyecto de genealogía matemática
- ^ "Katalin Bimbo, profesora, Facultad de Artes - Departamento de Filosofía" , Directorio , Universidad de Alberta , consultado el 7 de marzo de 2021
- ^ "Tenencia otorgada a Katalin Bimbó y Marie-Eve Morin" , Philosophy News , Universidad de Alberta, 2 de diciembre de 2012 , consultado el 7 de marzo de 2021
- ^ Reseñas de lógicas de Galois generalizadas : R. Gylys (2009), MR2459113 ; Ewa Orłowska (2011), Studia Logica , JSTOR 41475163 ; Alasdair Urquhart (2010), Bull. Symb. Lógica , JSTOR 27805181
- ^ Reseñas de lógica combinatoria : Martin W. Bunder, Zbl 1245.03001 ; Felice Cardone (2012), señor2817087 ; Morten Heine Sørensen (2013), Studia Logica , JSTOR 43651690
- ^ Reseñas de la teoría de la prueba : Andrzej Indrzejczak, Zbl 1302.03001 ; Pierluigi Minari, señor3363164 ; Thomas Strahm (2016), Toro. Symb. Lógica , JSTOR 43830161 ; Róbert Vajda (2015), Acta Sci. Matemáticas. , [1]