1 citations · 2 across the 5 of their papers we have counts for
6 papers
A Kleene-inspired sequent system for a minimal logic of evidence and truth
Nino Grandinetti, Abilio Rodrigues
This paper investigates the proof theory of the logic of evidence and truth LETFm, with the aim of obtaining a sequent calculus consisting only of logical rules, suitable for a sim…
Analytic proofs for logics of evidence and truth
Walter Carnielli, Lorenzzo Frade, Abilio Rodrigues
This paper presents a sound, complete, and decidable analytic tableau system for the logic of evidence and truth \letf, introduced in Rodrigues, Bueno-Soler \& Carnielli (Synthese,…
Frege on the reference of sentences
Abilio Rodrigues
The aim of this paper is to show that Frege's argument which concluded that the reference of a sentence is its truth-value, presented in 'On Sense and Reference' (1892), can be rec…
Normalization and cut-elimination theorems for some logics of evidence and truth
Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-…
On six-valued logics of evidence and truth expanding Belnap-Dunn four-valued logic
Marcelo E. Coniglio, Abilio Rodrigues
The main aim of this paper is to introduce the logics of evidence and truth LETK+ and LETF+ together with a sound, complete, and decidable six-valued deterministic semantics for th…
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…