Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

Tim S. Lyon, Agata Ciabattoni, Didier Galmiche +5

This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuiti…