Walter Carnielli - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Walter Carnielli' as author, editor, or advisor:

An epistemic approach to paraconsistency: a logic of evidence and truthWalter Carnielli, Abilio Rodrigues. synthese, 196(9):3789-3813, 2019. [doi]
Volume I: Recovery operators in logics of formal inconsistencyEduardo Alejandro Barrio, Walter Carnielli. igpl, 28(5):615-623, 2020. [doi]
Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logicAbilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli. synthese, 198(22-S):5451-5480, 2021. [doi]
Valuation Semantics for First-Order Logics of Evidence and TruthHenrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio. jphil, 51(5):1141-1173, 2022. [doi]
Non-deterministic Semantics in Polynomial FormatWalter Carnielli, Mariana Matulovic. ENTCS, 305:19-34, 2014. [doi]
The method of polynomial ring calculus and its potentialitiesWalter Carnielli, Mariana Matulovic. TCS, 606:42-56, 2015. [doi]
ForewordWalter Carnielli, Edward Hermann Haeusler, Petrucio Viana. igpl, 25(4):381-386, 2017. [doi]
Recovery operators, paraconsistency and dualityWalter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues. igpl, 28(5):624-656, 2020. [doi]
Paraconsistent Probabilities: Consistency, Contradictions and Bayes' TheoremJuliana Bueno-Soler, Walter Carnielli. entropy, 18(9):325, 2016. [doi]
e-Reasoning: Between Digital Humanities and e-scienceJuliana Bueno-Soler, Walter Carnielli. eScience 2014: 33-35 [doi]
Reduction Techniques for Proving Decidability in Logics and their Meet-CombinationJoão Rasga, Cristina Sernadas, Walter Carnielli. bsl, 27(1):39-66, 2021. [doi]
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal AccountWalter Carnielli, Marcelo E. Coniglio, David Fuenmayor. rsl, 15(3):771-806, 2022. [doi]
Society semantics and the logic way to collective intelligenceWalter Carnielli, Mamede Lima-Marques. jancl, 27(3-4):255-268, 2017. [doi]
Polynomial ring calculus for modalitiesJuan Carlos Agudelo Agudelo, Walter Carnielli. logcom, 27(6):1853-1870, 2017. [doi]
Volume II: New advances in Logics of Formal InconsistencyEduardo Alejandro Barrio, Walter Carnielli. igpl, 28(5):845-850, 2020. [doi]
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigmsWalter Carnielli, Abilio Rodrigues. igpl, 29(4):569-584, 2021. [doi]
Kripke-Style Models for Logics of Evidence and TruthHenrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues. axioms, 9(3):100, 2020. [doi]

runs on WebDSL