Itala D'Ottaviano
Itala Maria Loffredo D'Ottaviano (nacida en 1944) [1] es una lógica matemática brasileña que fue presidenta de la Sociedad Brasileña de Lógica. Los temas de su trabajo han incluido la lógica no clásica , la lógica paraconsistente , la lógica multivaluada y la historia de la lógica . [2]
Después de graduarse del Conservatório Musical Carlos Gomes , escuela de música de Campinas , en 1960, D'Ottaviano estudió matemáticas en la Pontificia Universidad Católica de Campinas , graduándose en 1966. Obtuvo una maestría en matemáticas en la Universidad de Campinas en 1974, y completó un Ph.D. allí en 1982, asesorado por Mário Tourasse Teixeira y Newton da Costa , respectivamente. [3] Su disertación doctoral, Sobre Uma Teoria de Modelos Trivalente , versó sobre la teoría de modelos de la lógica de tres valores . [4] Ella ganó unhabilitación en la Universidad de Campinas en 1987. [3]
D'Ottaviano fue investigador postdoctoral en la Universidad de California , la Universidad de Stanford y la Universidad de Oxford . Enseñó matemáticas en la Universidad de Campinas a partir de 1969 y se convirtió en profesora titular allí en 1998. [3] De 2013 a 2014 fue Rectora de Estudios de Posgrado en la universidad. [5]
Fue presidenta de la Sociedad Brasileña de Lógica en dos ocasiones, de 1994 a 2003 y nuevamente de 2011 a 2014. También encabezó el Comité de Lógica en América Latina de la Asociación de Lógica Simbólica de 1993 a 1999. [5]
Con Roberto Cignoli y Daniele Mundici, D'Ottaviano es coautor del libro Algebraic Foundations of Many-Valued Reasoning (Kluwer, 2000). [6]
.jpg/440px-Itala_D'Ottaviano,_1985_March_(portioned).jpg)
.jpg){kind=link}