Sequent calculi for first-order ST

Francesco Paoli, Adam Přenosil

Strict-Tolerant Logic (ST) underpins naive theories of truth and vagueness (respectively including a fully disquotational truth predicate and an unrestricted tolerance principle) w…