Concepedia

Abílio Rodrigues

AR

6

Publications

166

Citations

6

H-Index

2015

Active since

Affiliations

Universidade Federal de Minas Gerais(Current)

Universidade Estadual de Campinas (UNICAMP)

Abílio Rodrigues is an author at Universidade Federal de Minas Gerais specializing in automated reasoning, language studies, and epistemology.

Top concepts

Automated ReasoningLanguageSemanticsEngineeringEpistemologyLinguisticsDescription LogicsFormal LogicArgumentationFormal Methods

Publications per year

2015–2020

6

Publications

6

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

Walter Carnielli, Abílio Rodrigues · Synthese · 2017 · 61 citations

Cognitive Science, Epistemic Approach, Paraconsistent Logic +8

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

Abílio Rodrigues, Juliana Bueno-Soler, Walter Carnielli · Synthese · 2020 · 31 citations

Probability Logic, Engineering, Dynamic Epistemic Logic +10

Recovery operators, paraconsistency and duality

Walter Carnielli, Marcelo E. Coniglio, Abílio Rodrigues · Logic Journal of IGPL · 2018 · 26 citations

Inference Rules, Paraconsistent Logic, Engineering +20

TOWARDS A PHILOSOPHICAL UNDERSTANDING OF THE LOGICS OF FORMAL INCONSISTENCY

Walter Carnielli, Abílio Rodrigues · Manuscrito · 2015 · 19 citations · Full text

Non-classical Logic, Philosophy Of Language, Philosophical Motivation +14

On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms

Walter Carnielli, Abílio Rodrigues · Logic Journal of IGPL · 2019 · 16 citations

Intuitionistic Logic, Paraconsistent Logic, Engineering +17

Rows per page

1–5 of 6