Showing math.LOShow all
3 papers · 1 filter
math.LO2024
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,…
math.LO2024
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…
math.LO2024
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-…