| Publication | Date of Publication | Type |
|---|
Pragmatic Nonsense
| 2023-11-26 | Paper |
scientific article; zbMATH DE number 7599993 (Why is no real title available?)
| 2022-10-12 | Paper |
scientific article; zbMATH DE number 7580954 (Why is no real title available?)
| 2022-09-01 | Paper |
A Medida do Círculo: Uma tradução do texto ΚΥΚΛΟΥ ΜΕΤΡΗΣΙΣ de Arquimedes
Revista Brasileira de História da Matemática | 2022-05-06 | Paper |
scientific article; zbMATH DE number 7503140 (Why is no real title available?)
| 2022-04-04 | Paper |
Learning the Undecidable from Networked Systems
Unravelling Complexity | 2021-06-15 | Paper |
Some interpretation of a logic of pragmatic truth
| 2020-12-18 | Paper |
scientific article; zbMATH DE number 7238917 (Why is no real title available?)
| 2020-08-25 | Paper |
Translations between logics: a survey
Philosophy of Logic and Mathematics | 2020-08-21 | Paper |
Provided you're not trivial: adding defaults and paraconsistency to a formal model of explanation
Trends in Logic | 2020-08-06 | Paper |
Learning the undecidable from networked systems
| 2019-04-08 | Paper |
A quantitative-informational approach to logical consequence
Studies in Universal Logic | 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
Logica Universalis | 2013-01-25 | Paper |
scientific article; zbMATH DE number 5858671 (Why is no real title available?)
| 2011-02-28 | Paper |
Analytical tableaux for da Costa's hierarchy of paraconsistent logics \(C_n\), \(1\leq n<\omega\)
Journal of Applied Non-Classical Logics | 2009-11-30 | Paper |
Many-Valued Logics and Translations
Journal of Applied Non-Classical Logics | 2004-01-13 | Paper |
Translations between logical systems: A manifesto
Logique et Analyse. Nouvelle Série | 2002-02-26 | Paper |
Conservative translations
Annals of Pure and Applied Logic | 2002-01-24 | Paper |
Natural deduction for paraconsistent logic
Logica Trianguli | 2002-01-02 | Paper |
scientific article; zbMATH DE number 2019867 (Why is no real title available?)
| 2002-01-01 | Paper |
The centre for logic in Campinas and the development of logic in Brazil
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
Paraconsistent logics and translations
Synthese | 2001-06-21 | Paper |
Algebraic foundations of many-valued reasoning
Trends in Logic -- Studia Logica Library | 2000-01-04 | Paper |
scientific article; zbMATH DE number 1302507 (Why is no real title available?)
| 1999-06-16 | Paper |
scientific article; zbMATH DE number 4189700 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4142015 (Why is no real title available?)
| 1988-01-01 | Paper |
Definability and quantifier elimination for \(J_ 3\)-theories
Studia Logica | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4057506 (Why is no real title available?)
| 1987-01-01 | Paper |
scientific article; zbMATH DE number 4014682 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 3910368 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3993546 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3954877 (Why is no real title available?)
| 1985-01-01 | Paper |
scientific article; zbMATH DE number 3315182 (Why is no real title available?)
| 1970-01-01 | Paper |
