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
Some interpretation of a logic of pragmatic truth	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
On the development of logic in Brazil. II: Initiatives in Brazil related to logic and Brazilian research groups dedicated to logic	2015-10-06	Paper
On the development of logic in Brazil. I: The early logic studies and the path to contemporary logic	2015-10-06	Paper
On Gödel's modal interpretation of the intuitionistic logic	2014-05-19	Paper
Analytical tableaux for da Costa's paraconsistent predicate calculi C\(_n^*\)	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 \(C_n\), \(1\leq n<\omega\)	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