Walter Carnielli

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