Walter Carnielli

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 15

Top Topics

Collective Intelligence

Inference Rules

Classical Logic

Top Venues

Bull. Symb. Log.

Publications

Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio
Valuation Semantics for First-Order Logics of Evidence and Truth. J. Philos. Log. 51 (5) (2022)
Walter Carnielli, Marcelo E. Coniglio, David Fuenmayor
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. Rev. Symb. Log. 15 (3) (2022)
Abilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic. Synth. 198 (22-S) (2021)
João Rasga, Cristina Sernadas, Walter Carnielli
Reduction Techniques for Proving Decidability in Logics and their Meet-Combination. Bull. Symb. Log. 27 (1) (2021)
Walter Carnielli, Abilio Rodrigues
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. Log. J. IGPL 29 (4) (2021)
Eduardo Alejandro Barrio, Walter Carnielli
Volume I: Recovery operators in logics of formal inconsistency. Log. J. IGPL 28 (5) (2020)
Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues
Kripke-Style Models for Logics of Evidence and Truth. Axioms 9 (3) (2020)
Eduardo Alejandro Barrio, Walter Carnielli
Volume II: New advances in Logics of Formal Inconsistency. Log. J. IGPL 28 (5) (2020)
Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues
Recovery operators, paraconsistency and duality. Log. J. IGPL 28 (5) (2020)
Walter Carnielli, Abilio Rodrigues
An epistemic approach to paraconsistency: a logic of evidence and truth. Synth. 196 (9) (2019)
Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana
Foreword. Log. J. IGPL 25 (4) (2017)
Walter Carnielli, Mamede Lima-Marques
Society semantics and the logic way to collective intelligence. J. Appl. Non Class. Logics 27 (3-4) (2017)
Juan Carlos Agudelo Agudelo, Walter Carnielli
Polynomial ring calculus for modalities. J. Log. Comput. 27 (6) (2017)
Juliana Bueno-Soler, Walter Carnielli
Paraconsistent Probabilities: Consistency, Contradictions and Bayes' Theorem. Entropy 18 (9) (2016)
Walter Carnielli, Mariana Matulovic
The method of polynomial ring calculus and its potentialities. Theor. Comput. Sci. 606 (2015)
Juliana Bueno-Soler, Walter Carnielli
e-Reasoning: Between Digital Humanities and e-science. eScience Workshops (2014)
Walter Carnielli, Mariana Matulovic
Non-deterministic Semantics in Polynomial Format. LSFA (2013)