Каталин Бимбо

Каталин Бимбо (1963 г.р.) ^{[ 1 ]} логик и философ, известная своими книгами по математической логике и теории доказательств . Она получила степень доктора философии. в 1999 году в Университете Индианы в Блумингтоне под руководством Джона Майкла Данна , ^{[ 2 ]} и является профессором философии в Университете Альберты. ^{[ 3 ]} после того, как проработал там в 2013 году. ^{[ 4 ]}

Избранные работы

Монографии

Обобщенная логика Галуа: реляционная семантика неклассических логических исчислений (совместно с Дж. М. Данном, CSLI Publications, 2008) ^{[ 5 ]}
Комбинаторная логика: чистая, прикладная и типизированная (CRC Press, 2012) ^{[ 6 ]}
Теория доказательств: секвентивные исчисления и родственные формализмы (CRC Press, 2015) ^{[ 7 ]}

Отредактированные тома

Дж. Майкл Данн об информационной логике (Выдающийся вклад в логику, том 8; Springer, 2016).
Релевантная логика и другие инструменты рассуждения. Очерки в честь Дж. Майкла Данна (Дань уважения, том 46; College Publications, Лондон, Великобритания, 2022 г.).

Ссылки

↑ Год рождения из записи в каталоге Библиотеки Конгресса , получено 7 марта 2021 г.
^ Каталин Бимбо в проекте «Математическая генеалогия»
^ «Каталин Бимбо, профессор факультета искусств - кафедра философии» , Справочник Университета Альберты , получено 7 марта 2021 г.
^ «Постоянная должность присуждена Каталин Бимбо и Мари-Еве Морен» , Philosophy News , Университет Альберты, 2 декабря 2012 г. , получено 7 марта 2021 г.
^ Обзоры обобщенной логики Галуа : Р. Гилис (2009), MR 2459113 ; Ева Орловска (2011), Studia Logica , JSTOR 41475163 ; Аласдер Уркарт (2010), Бюллетень символической логики , JSTOR 27805181
^ Обзоры комбинаторной логики : Мартин В. Бандер, Збл 1245.03001 ; Феличе Кардоне (2012), MR 2817087 ; Мортен Хейне Соренсен (2013), Studia Logica , JSTOR 43651690
^ Обзоры теории доказательств : Анджей Инджейчак, Збл 1302.03001 ; Пьерлуиджи Минари, MR 3363164 ; Томас Страм (2016), Бюллетень символической логики , JSTOR 43830161 ; Роберт Вайда (2015), Acta Sci. Математика. , [1]

Внешние ссылки

Домашняя страница

Эта биография канадского философа незавершена . Вы можете помочь Википедии, расширив ее .

[born-1] Год рождения из записи в каталоге Библиотеки Конгресса , получено 7 марта 2021 г.

[mg-2] Каталин Бимбо в проекте «Математическая генеалогия»

[abdir-3] «Каталин Бимбо, профессор факультета искусств - кафедра философии» , Справочник Университета Альберты , получено 7 марта 2021 г.

[abten-4] «Постоянная должность присуждена Каталин Бимбо и Мари-Еве Морен» , Philosophy News , Университет Альберты, 2 декабря 2012 г. , получено 7 марта 2021 г.

[ggl-5] Обзоры обобщенной логики Галуа : Р. Гилис (2009), MR 2459113 ; Ева Орловска (2011), Studia Logica , JSTOR 41475163 ; Аласдер Уркарт (2010), Бюллетень символической логики , JSTOR 27805181

[cl-6] Обзоры комбинаторной логики : Мартин В. Бандер, Збл 1245.03001 ; Феличе Кардоне (2012), MR 2817087 ; Мортен Хейне Соренсен (2013), Studia Logica , JSTOR 43651690

[pt-7] Обзоры теории доказательств : Анджей Инджейчак, Збл 1302.03001 ; Пьерлуиджи Минари, MR 3363164 ; Томас Страм (2016), Бюллетень символической логики , JSTOR 43830161 ; Роберт Вайда (2015), Acta Sci. Математика. , [1]

[ 1 ]

[ 2 ]

[ 3 ]

[ 4 ]

[ 5 ]

[ 6 ]

[ 7 ]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Германия Израиль Соединенные Штаты Польша
академики	MathSciNet Проект математической генеалогии ОРЦИД
Другой	ИдРеф