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