Abilio Rodrigues

According to our database, Abilio Rodrigues authored at least 13 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

Some remarks on two seminal approaches to paraconsistency: Stanisław Jaśkowski and Newton da Costa.

Abilio Rodrigues, Marek Nasieniewski, Ricardo Arturo Nicolás-Francisco

Stud Logica, August, 2025

Variable Domain First-Order First-Degree Entailment and Some of Its Children.

Henrique Antunes, Abilio Rodrigues

Stud Logica, April, 2025

On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4.

Henrique Antunes, Abilio Rodrigues

J. Philos. Log., February, 2025

Normalization and cut-elimination theorems for some logics of evidence and truth.

Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues

J. Log. Comput., 2025

2024

From Belnap-Dunn Four-Valued Logic to Six-Valued Logics of Evidence and Truth.

Marcelo E. Coniglio, Abilio Rodrigues

Stud Logica, June, 2024

Many-Logic Modal Structures Based on the Lattice L6: A First Look.

Abilio Rodrigues, Marcelo E. Coniglio, Alfredo Freire

Proceedings of the Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops, 2024

2022

First-order Logics of Evidence and Truth with Constant and Variable Domains.

Abilio Rodrigues, Henrique Antunes

Logica Universalis, 2022

Valuation Semantics for First-Order Logics of Evidence and Truth.

Henrique Antunes, Abilio Rodrigues, Walter Carnielli, Marcelo E. Coniglio

J. Philos. Log., 2022

2021

Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic.

Abilio Rodrigues, Juliana Bueno-Soler, Walter Carnielli

Synth., 2021

On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms.

Walter Carnielli, Abilio Rodrigues

Log. J. IGPL, 2021

2020

Recovery operators, paraconsistency and duality.

Walter Carnielli, Marcelo E. Coniglio, Abilio Rodrigues

Log. J. IGPL, 2020

Kripke-Style Models for Logics of Evidence and Truth.

Henrique Antunes, Walter Carnielli, Andreas Kapsner, Abilio Rodrigues

Axioms, 2020

2019

An epistemic approach to paraconsistency: a logic of evidence and truth.

Walter Carnielli, Abilio Rodrigues

Synth., 2019