collaborators

1 paper

math.LO2026

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…