Abilio Rodrigues

13 papers B 1Journal 12

Year	Rank	Type	Title / 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

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski