Itala D'Ottaviano

Available identifiers

zbMath Open dottaviano.itala-m-loffredoWikidataQ16940307 ScholiaQ16940307MaRDI QIDQ186038

List of research outcomes

Publication	Date of Publication	Type
Pragmatic Nonsense	2023-11-26	Paper
https://portal.mardi4nfdi.de/entity/Q5039179	2022-10-12	Paper
https://portal.mardi4nfdi.de/entity/Q5100771	2022-09-01	Paper
A Medida do Círculo: Uma tradução do texto ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ de Arquimedes	2022-05-06	Paper
https://portal.mardi4nfdi.de/entity/Q5067950	2022-04-04	Paper
Learning the Undecidable from Networked Systems	2021-06-15	Paper
https://portal.mardi4nfdi.de/entity/Q5141775	2020-12-18	Paper
https://portal.mardi4nfdi.de/entity/Q5116421	2020-08-25	Paper
Translations Between Logics: A Survey	2020-08-21	Paper
Provided You’re not Trivial: Adding Defaults and Paraconsistency to a Formal Model of Explanation	2020-08-06	Paper
Learning the undecidable from networked systems	2019-04-08	Paper
A Quantitative-Informational Approach to Logical Consequence	2017-08-28	Paper
https://portal.mardi4nfdi.de/entity/Q2948659	2015-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q2948743	2015-10-06	Paper
https://portal.mardi4nfdi.de/entity/Q5416147	2014-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q4918413	2013-04-24	Paper
New dimensions on translations between logics	2013-01-25	Paper
https://portal.mardi4nfdi.de/entity/Q3078539	2011-02-28	Paper
Analytical tableaux for da Costa's hierarchy of paraconsistent logics Cn, 1≤n<ω	2009-11-30	Paper
Many-Valued Logics and Translations	2004-01-13	Paper
Translations between logical systems: A manifesto	2002-02-26	Paper
Conservative translations	2002-01-24	Paper
Natural deduction for paraconsistent logic	2002-01-02	Paper
https://portal.mardi4nfdi.de/entity/Q4440563	2002-01-01	Paper
The centre for logic in Campinas and the development of logic in Brazil	2001-09-04	Paper
Paraconsistent logics and translations	2001-06-21	Paper
Algebraic foundations of many-valued reasoning	2000-01-04	Paper
https://portal.mardi4nfdi.de/entity/Q4249037	1999-06-16	Paper
https://portal.mardi4nfdi.de/entity/Q5753932	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3474641	1988-01-01	Paper
Definability and quantifier elimination for \(J_ 3\)-theories	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3792680	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3026985	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3688374	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4722043	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3724303	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5596218	1970-01-01	Paper

Research outcomes over time

This page was built for person: Itala D'Ottaviano