イタラ・ドッタヴィアーノ

イタラ・マリア・ロッフレド・ドッタヴィアーノ（1944年生まれ）^{[1]はブラジルの}数理論理学者であり、ブラジル論理学会の会長を務めた。彼女の研究テーマには、非古典論理、矛盾論理、多値論理、論理の歴史などがある。^[2]

教育

ドッタヴィアーノは、1960年にカンピナスの音楽学校であるカルロス・ゴメス音楽院を卒業後、カンピナス・ポンティフィカル・カトリック大学で数学を学び、1966年に卒業した。 1974年にカンピナス大学で数学の修士号を取得し、1982年にマリオ・トゥラッセ・テイシェイラとニュートン・ダ・コスタの指導の下、同大学で博士号を取得した。^[3]彼女の博士論文「三値論理のモデル理論について」は、三値論理のモデル理論に関するものであった。^[4]彼女は1987年にカンピナス大学で学士号を取得した。 ^[3]

ドッタヴィアーノはカリフォルニア大学、スタンフォード大学、オックスフォード大学で博士研究員を務めた。1969年からカンピナス大学で数学を教え、1998年に同大学の名誉教授となった。^[3] 2013年から2014年まで同大学の大学院学長を務めた。^[5]

彼女は1994年から2003年と2011年から2014年の2度、ブラジル論理学会の会長を務めた。また、1993年から1999年まで、記号論理学会のラテンアメリカ論理委員会の委員長も務めた。^[5]

ドッタヴィアーノはロベルト・チニョーリ、ダニエレ・ムンディチとともに『Algebraic Foundations of Many-Valued Reasoning 』（Kluwer、2000年）の共著者である。^[6]

^ 生年月日は米国議会図書館のカタログエントリより、2021年1月30日取得
^ カリフォルニア州ニュートン、ダ・コスタ;ブエノ、オタヴィオ (2013)、「パラコンシステントロジック」、Nuccetelli、Susana。オフェリア、シュッテ。ブエノ、オタヴィオ (編)、『ラテンアメリカ哲学の仲間』、ブラックウェル哲学の仲間、ジョンワイリー & サンズ、 217–229ページ、ISBN 9781118610565特に218ページを参照。
^ abc 履歴書、「Itala Maria Loffredo D'Ottaviano」経由、 FAPESP による研究、サンパウロ研究財団、 2021 年 1 月 30 日に取得
^ イタラ・ドッタヴィアーノ、数学系譜プロジェクトにて
^ ab "Itala M. Loffredo D'Ottaviano"、インターナショナルスクールオブロジック、 2021-01-30取得
^ 多値推論の代数的基礎のレビュー：Siegfried Gottwald (2001)、MR 1786097; A. Dvurečenskij、Zbl 0937.06009
^ 現在の会員、国際科学哲学アカデミー、 2021年1月29日閲覧