1 citations · 1 across the 3 of their papers we have counts for
3 papers
math.LO2024
A definição de verdade de Tarski
Guilherme Cardoso, Abilio Rodrigues
The aim of this text is to present, in a technically accessible way, Tarski's definition of truth, the indefinability theorem, and to discuss two aspects of Tarski's work on truth,…
math.LO2024★ 1 cited
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…