Katalin Bimbó

Katalin Bimbó (ur. 1963) jest logikiem i filozofem, znaną z książek o logice matematycznej i teorii dowodu . Uzyskała stopień doktora. w 1999 roku na Indiana University , pod kierunkiem Jona Michaela Dunna , i jest profesorem filozofii na University of Alberta po tym, jak zdobył tam etat w 2013 roku.

Wybrane prace

Monografie

• Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi (z JM Dunnem, CSLI Publications, 2008)
• Logika kombinacyjna: czysta, stosowana i wpisana (CRC Press, 2012)
• Teoria dowodu: rachunki sekwencyjne i pokrewne formalizmy (CRC Press, 2015)

Edytowane tomy

• J. Michael Dunn on Information Based Logics (Outstanding Contributions to Logic, tom 8; Springer, 2016).
• Logiki istotności i inne narzędzia do wnioskowania. Essays in Honor of J. Michael Dunn (Tributes, t. 46; College Publications, Londyn, Wielka Brytania, 2022).

Linki zewnętrzne

• Strona główna