| Publication | Date of Publication | Type |
|---|
Many-valued modalities and paraconsistency
| 2024-10-24 | Paper |
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
Synthese | 2023-12-14 | Paper |
New semantics for urn logics: taming the enduring scandal of deduction
Logical Investigations | 2023-01-12 | Paper |
Valuation semantics for first-order logics of evidence and truth
Journal of Philosophical Logic | 2022-09-30 | Paper |
LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
The Review of Symbolic Logic | 2022-08-26 | Paper |
On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth
Logic and Logical Philosophy | 2022-07-26 | Paper |
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms
Logic Journal of the IGPL | 2022-06-16 | Paper |
scientific article; zbMATH DE number 7503139 (Why is no real title available?)
| 2022-04-04 | Paper |
Credal Calculi, Evidence, and Consistency
Outstanding Contributions to Logic | 2022-01-04 | Paper |
Twist-valued models for three-valued paraconsistent set theory
Logic and Logical Philosophy | 2021-12-02 | Paper |
An epistemic approach to paraconsistency: a logic of evidence and truth
Synthese | 2021-11-30 | Paper |
REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION
The Bulletin of Symbolic Logic | 2021-08-05 | Paper |
Valuation semantics for first-order logics of evidence and truth (and some related logics)
| 2021-06-17 | Paper |
Gödel's incompleteness theorems from a paraconsistent perspective
| 2021-03-18 | Paper |
Recovery operators, paraconsistency and duality
Logic Journal of the IGPL | 2021-01-08 | Paper |
Fraïssé's theorem for logics of formal inconsistency
Logic Journal of the IGPL | 2021-01-08 | Paper |
On formal aspects of the epistemic approach to paraconsistency
| 2020-08-25 | Paper |
Inferential semantics, paraconsistency, and preservation of evidence
Outstanding Contributions to Logic | 2020-08-10 | Paper |
Reconciling first-order logic to algebra
Trends in Logic | 2020-08-06 | Paper |
Logics of Formal Inconsistency enriched with replacement: an algebraic and modal account
| 2020-03-20 | Paper |
Twist-Valued Models for Three-valued Paraconsistent Set Theory
| 2019-11-26 | Paper |
On the philosophy and mathematics of the logics of formal inconsistency
Springer Proceedings in Mathematics & Statistics | 2019-10-31 | Paper |
Paraconsistent probabilities, their significance and their uses
| 2019-07-24 | Paper |
Contradictions, inconsistencies and other oxymora
| 2019-03-11 | Paper |
Cut-elimination and deductive polarization in complementary classical logic
Logic Journal Of The Igpl | 2019-01-08 | Paper |
Society semantics and the logic way to collective intelligence
Journal of Applied Non-Classical Logics | 2018-09-12 | Paper |
Polynomial ring calculus for modalities
Journal Of Logic And Computation | 2018-02-13 | Paper |
Paraconsistency and duality: between ontological and epistemological views
| 2017-10-06 | Paper |
Paraconsistent logic: consistency, contradiction and negation
Logic, Epistemology, and the Unity of Science | 2016-12-13 | Paper |
Non-deterministic semantics in polynomial format
| 2016-05-10 | Paper |
Paraconsistent set theory by predicating on consistency
Journal of Logic and Computation | 2016-04-28 | Paper |
Some natural generalizations of the Collatz problem
Applied Mathematics E-Notes | 2016-03-10 | Paper |
The method of polynomial ring calculus and its potentialities
Theoretical Computer Science | 2015-12-08 | Paper |
Adjusting a conjecture of Erdős
| 2015-08-03 | Paper |
On the way to a wider model theory: completeness theorems for first-order logics of formal inconsistency
The Review of Symbolic Logic | 2015-01-21 | Paper |
Paul Bernays and the eve of non-standard models in logic
| 2014-05-19 | Paper |
Logics of formal inconsistency
Handbook of Philosophical Logic | 2013-06-18 | Paper |
Special issue on multimodal logics: a preface
Logica Universalis | 2013-04-08 | Paper |
On Discourses Addressed by Infidel Logicians
Paraconsistency: Logic and Applications | 2013-04-02 | Paper |
New dimensions on translations between logics
Logica Universalis | 2013-01-25 | Paper |
Semi-stable semantics
Journal Of Logic And Computation | 2012-10-19 | Paper |
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning
Logic Journal of the IGPL | 2012-09-06 | Paper |
scientific article; zbMATH DE number 5997432 (Why is no real title available?)
| 2012-01-13 | Paper |
Splitting logics
| 2011-06-21 | Paper |
Polynomial ring calculus for modal logics: a new semantics and proof method for modalities
The Review of Symbolic Logic | 2011-06-10 | Paper |
Are the foundations of computer science logic-dependent?
| 2011-05-31 | Paper |
The single-minded pursuit of consistency and its weakness
Studia Logica | 2011-03-14 | Paper |
Formal polynomials, heuristics and proofs in logic
| 2011-03-09 | Paper |
Modalities and multimodalities. With the assistance and collaboration of Juliana Bueno-Soler.
Logic, Epistemology, and the Unity of Science | 2010-09-22 | Paper |
Paraconsistent Machines and their Relation to Quantum Computing
Journal Of Logic And Computation | 2010-04-21 | Paper |
Erratum to ``The Ricean objection: An analogue of Rice's theorem for first-order theories.
Logic Journal of the IGPL | 2009-12-18 | Paper |
Interpolation via translations
MLQ | 2009-10-14 | Paper |
Modulated logics and flexible reasoning
Logic and Logical Philosophy | 2009-04-14 | Paper |
Unconventional Models of Computation Through Non-standard Logic Circuits
Lecture Notes in Computer Science | 2009-02-17 | Paper |
The Ricean Objection: An Analogue of Rice's Theorem for First-order Theories
Logic Journal of the IGPL | 2009-01-21 | Paper |
scientific article; zbMATH DE number 5316609 (Why is no real title available?)
| 2008-08-26 | Paper |
Preservation of Interpolation Features by Fibring
Journal Of Logic And Computation | 2008-03-12 | Paper |
scientific article; zbMATH DE number 5239380 (Why is no real title available?)
| 2008-02-22 | Paper |
Analysis and synthesis of logics. How to cut and paste reasoning systems
Applied Logic Series | 2008-02-07 | Paper |
Possible-translations algebraization for paraconsistent logics
| 2007-04-25 | Paper |
Surviving Abduction
Logic Journal of the IGPL | 2006-11-30 | Paper |
scientific article; zbMATH DE number 2236619 (Why is no real title available?)
| 2005-12-08 | Paper |
scientific article; zbMATH DE number 2196615 (Why is no real title available?)
| 2005-08-22 | Paper |
Anti-intuitionism and paraconsistency
Journal of Applied Logic | 2005-05-04 | Paper |
scientific article; zbMATH DE number 2080023 (Why is no real title available?)
| 2004-08-04 | Paper |
scientific article; zbMATH DE number 2064305 (Why is no real title available?)
| 2004-05-18 | Paper |
Modulated fibring and the collapsing problem
Journal of Symbolic Logic | 2004-03-01 | Paper |
Transfers between logics and their applications
Studia Logica | 2003-04-27 | Paper |
Fibring non-truth-functional logics: Completeness preservation
Journal of Logic, Language and Information | 2003-04-27 | Paper |
Limits for paraconsistent calculi
Notre Dame Journal of Formal Logic | 2003-03-27 | Paper |
Formal inconsistency and evolutionary databases
Logic and Logical Philosophy | 2002-11-12 | Paper |
scientific article; zbMATH DE number 1735924 (Why is no real title available?)
| 2002-09-05 | Paper |
scientific article; zbMATH DE number 1764657 (Why is no real title available?)
| 2002-07-08 | Paper |
Translations between logical systems: A manifesto
Logique et Analyse. Nouvelle Série | 2002-02-26 | Paper |
scientific article; zbMATH DE number 2019859 (Why is no real title available?)
| 2002-01-01 | Paper |
\(K_{2,2}\)-\(K_{1,n}\) and \(K_{2,n}\)-\(K_{2,n}\) bipartite Ramsey numbers
Discrete Mathematics | 2001-10-03 | Paper |
The centre for logic in Campinas and the development of logic in Brazil
Logique et Analyse. Nouvelle Série | 2001-09-04 | Paper |
The dialogical approach to paraconsistency
Synthese | 2001-02-22 | Paper |
scientific article; zbMATH DE number 1511057 (Why is no real title available?)
| 2000-09-26 | Paper |
scientific article; zbMATH DE number 1361518 (Why is no real title available?)
| 2000-02-01 | Paper |
On the Ramsey problem for multicolor bipartite graphs
Advances in Applied Mathematics | 1999-02-02 | Paper |
scientific article; zbMATH DE number 1088189 (Why is no real title available?)
| 1998-04-01 | Paper |
Maximal weakly-intuitionistic logics
Studia Logica | 1996-07-16 | Paper |
Some results on polarized partion relations of higher dimension
Mathematical Logic Quarterly | 1994-08-31 | Paper |
scientific article; zbMATH DE number 487144 (Why is no real title available?)
| 1994-01-21 | Paper |
scientific article; zbMATH DE number 63610 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 67513 (Why is no real title available?)
| 1992-09-27 | Paper |
scientific article; zbMATH DE number 43713 (Why is no real title available?)
| 1992-09-17 | Paper |
Hyper-rook Domain Inequalities
Studies in Applied Mathematics | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4202246 (Why is no real title available?)
| 1988-01-01 | Paper |
Systematization of finite many-valued logics through the method of tableaux
Journal of Symbolic Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4061209 (Why is no real title available?)
| 1987-01-01 | Paper |
The problem Of Quantificational Completeness and the Characterization of All Perfect Quantifiers in 3-Valued Logics
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik | 1987-01-01 | Paper |
On covering and coloring problems for rook domains
Discrete Mathematics | 1985-01-01 | Paper |
scientific article; zbMATH DE number 3957059 (Why is no real title available?)
| 1985-01-01 | Paper |
Paraconsistent algebras
Studia Logica | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3813625 (Why is no real title available?)
| 1982-01-01 | Paper |
Transfinite Induction on Ordinal Configurations
Mathematical Logic Quarterly | 1981-01-01 | Paper |
