"au:"Abilio Rodrigues"" — arXiv2 SearchShowing 1–8 of 8 results
/ Date/ Name
Dec 27, 2024On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4May 31, 2024Normalization and cut-elimination theorems for some logics of evidence and truthDec 13, 2024Analytic proofs for logics of evidence and truthApr 20, 2026Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and TruthSep 25, 2022On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logicDec 22, 2024A definição de verdade de TarskiDec 13, 2024Frege on the reference of sentencesJun 18, 2021Valuation semantics for first-order logics of evidence and truth (and some related logics)