Abilio Rodrigues

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 8

Top Topics

Inference Rules

Propositional Logic

Classical Logic

Top Venues

Logica Universalis

J. Philos. Log.

Publications

Marcelo E. Coniglio, Abilio Rodrigues
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth. Stud Logica 112 (3) (2024)
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)
Abilio Rodrigues, Henrique Antunes
First-order Logics of Evidence and Truth with Constant and Variable Domains. Logica Universalis 16 (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)
Walter Carnielli, Abilio Rodrigues
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. Log. J. IGPL 29 (4) (2021)
Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues
Kripke-Style Models for Logics of Evidence and Truth. Axioms 9 (3) (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)