2 papers
math.LO2026
Positive, Negative, and Reliable Information in a First-Order Logic of Evidence and Truth
Abilio Rodrigues, Marcelo E. Coniglio
In this paper we present the first-order logic QLETF+, a quantified version of the logic LETF+, introduced in Coniglio and Rodrigues (Studia Logica 112:561-606, 2024). QLETF+ exhib…
math.LO2024
On Universally Free First-Order Extensions of Belnap-Dunn's Four-Valued Logic and Nelson's Paraconsistent Logic N4
Henrique Antunes, Abilio Rodrigues
The aim of this paper is to introduce the logics FFDE and FN4, which are universally free versions of Belnap-Dunn's four-valued logic, also known as the logic of first-degree entai…