Abilio Rodrigues

13 papers B 1Journal 12
YearRankTypeTitle / Venue / Authors
2025 J jnl
Normalization and cut-elimination theorems for some logics of evidence and truth.
J. Log. Comput.
Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues
2025 J jnl
On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4.
J. Philos. Log.
Henrique Antunes, Abilio Rodrigues
2025 J jnl
Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa.
Stud Logica
Abilio Rodrigues, Marek Nasieniewski, Ricardo Arturo Nicolás-Francisco
2025 J jnl
Variable Domain First-Order First-Degree Entailment and Some of Its Children.
Stud Logica
Henrique Antunes, Abilio Rodrigues
2024 J jnl
From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.
Stud Logica
Marcelo E. Coniglio, Abilio Rodrigues
2024 B conf
Many-Logic Modal Structures Based on the Lattice L6: A First Look.
SEFM
Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Freire
2022 J jnl
First-order Logics of Evidence and Truth with Constant and Variable Domains.
Logica Universalis
Abilio Rodrigues, Henrique Antunes
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
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
2019 J jnl
An epistemic approach to paraconsistency: a logic of evidence and truth.
Synth.
Walter Carnielli, Abilio Rodrigues