카탈린 빔보

Katalin Bimbó

카탈린 빔보(Katalin Bimbo, 1963년 출생)[1]는 수학적 논리와 증명 이론에 관한 저서로 유명한 논리학자 겸 철학자다.1999년 존 마이클 던(Jon Michael Dunn)의 감독 아래 인디애나 대학에서 박사학위를 취득했으며,[2] 2013년 미국 앨버타[3] 대학에서 종신 재직권을 취득한 후 미국 앨버타 대학의 철학 교수로 재직하고 있다.[4]

선택한 작품

모노그래프스

  • 일반화된 Galois Logic: 비표준 논리 캘커리의 관계적 의미론(J. M. Dunn, CSLI 간행물, 2008)[5]
  • 결합 논리: 순수, 적용 및 유형(CRC Press, 2012)[6]
  • 증명 이론: Sequent Calculi 및 관련 공식 (CRC Press, 2015)[7]

편집된 볼륨

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

참조

  1. ^ 의회 도서관 카탈로그 항목 생년월, 2021-03-07 검색
  2. ^ 수학계보 프로젝트 카탈린 빔보
  3. ^ "Katalin Bimbo, Professor, Faculty of Arts – Philosophy Dept", Directory, University of Alberta, retrieved 2021-03-07
  4. ^ "Tenure awarded to Katalin Bimbó and Marie-Eve Morin", Philosophy News, University of Alberta, 2 December 2012, retrieved 2021-03-07
  5. ^ 일반화 갈루아 로직의 리뷰: R.질리스(2009), MR2459113; 에와 오르워프스카(2011), 스터디아 로지카, JSTOR 41475163, 알래스카 우르쿠하트(2010), 불. Symb. Logic, JSTOR 27805181
  6. ^ 결합논리의 리뷰: Martin W. Bunder, Zbl 1245.03001; Felice Cardone(2012), MR2817087; Morten Heine Sørensen(2013), Studia Logica, JSTOR 43651690
  7. ^ 증명 이론의 리뷰: Andrzej Indrzejczak, Zbl 1302.03001; Pierluigi Minari, MR3363164; Thomas Strahm (2016), Bull. Symb. Logic, JSTOR 43830161; Robert Vajda(2015), Acta Sci. 수학, [1]

외부 링크


캐나다 철학자의 이 전기는 단조롭다.위키피디아를 확장하여 도울 수 있다.