The following pages link to Abilio Rodrigues (Q2053982):
Displaying 20 items.
- An epistemic approach to paraconsistency: a logic of evidence and truth (Q2053983) (← links)
- Valuation semantics for first-order logics of evidence and truth (Q2079711) (← links)
- First-order logics of evidence and truth with constant and variable domains (Q2084569) (← links)
- (Q3119363) (← links)
- Inferential Semantics, Paraconsistency, and Preservation of Evidence (Q3305663) (← links)
- Recovery operators, paraconsistency and duality (Q3386888) (← links)
- On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms (Q5082344) (← links)
- (Q5116444) (← links)
- On the Philosophy and Mathematics of the Logics of Formal Inconsistency (Q5241518) (← links)
- (Q5365510) (← links)
- (Q5855512) (← links)
- Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic (Q6067099) (← links)
- On Barrio, Lo Guercio, and Szmuc on logics of evidence and truth (Q6484739) (← links)
- From Belnap-Dunn four-valued logic to six-valued logics of evidence and truth (Q6562366) (← links)
- Many-valued modalities and paraconsistency (Q6623951) (← links)
- Normalization and cut-elimination theorems for some logics of evidence and truth (Q6730928) (← links)
- Frege on the reference of sentences (Q6758055) (← links)
- Analytic proofs for logics of evidence and truth (Q6758056) (← links)
- A definição de verdade de Tarski (Q6759404) (← links)
- On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4 (Q6760053) (← links)
