Katalin Bimbó
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 en Bloomington , bajo la supervisión de Jon Michael Dunn , [2] y es profesora de filosofía en la Universidad de Alberta [3] después de haber obtenido la titularidad allí en 2013. [4]
Obras seleccionadas
Monografías
- 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]
Volúmenes editados
- J. Michael Dunn sobre lógicas basadas en información (Contribuciones destacadas a la lógica, volumen 8; Springer, 2016).
- Lógica de relevancia y otras herramientas para el razonamiento. Ensayos en honor a J. Michael Dunn (Tributos, volumen 46; College Publications, Londres, Reino Unido, 2022).
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 Genealogía de Matemáticas
- ^ "Katalin Bimbo, profesora, Facultad de Artes, Departamento de Filosofía", Directorio , Universidad de Alberta , consultado el 7 de marzo de 2021
- ^ "Se otorga la titularidad 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), MR 2459113; Ewa Orłowska (2011), Studia Logica , JSTOR 41475163; Alasdair Urquhart (2010), Bulletin of Symbolic Logic , JSTOR 27805181
- ^ Reseñas de lógica combinatoria : Martin W. Bunder, Zbl 1245.03001; Felice Cardone (2012), SEÑOR 2817087; Morten Heine Sørensen (2013), Studia Logica , JSTOR 43651690
- ^ Reseñas de teoría de la prueba : Andrzej Indrzejczak, Zbl 1302.03001; Pierluigi Minari, MR 3363164; Thomas Strahm (2016), Bulletin of Symbolic Logic , JSTOR 43830161; Róbert Vajda (2015), Acta Sci. Math. , [1]
Enlaces externos
- Página de inicio
