Labelled sequent calculi for logics of strict implication.

Eugenio Orlandelli, Matteo Tesi

Browse the full AiML paper archive.