2 papers
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…
math.LO2021
Valuation semantics for first-order logics of evidence and truth (and some related logics)
H. Antunes, A. Rodrigues, W. Carnielli +1
This paper introduces the logic , a quantified extension of the logic of evidence and truth , together with a corresponding sound and complete first-order non-de…