1 citations · 1 across the 1 of their papers we have counts for
1 paper
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,…