Hypersequents as a uniform framework for Urquhart's C, MTL andrelated logics

摘要

We summarize various results in proof theory of many-valued andrelated logics that jointly clarify the relations between importantlogics like MTL, (different versions of) Urquhart's C, contraction-freeversions of intuitionistic logic, and Godel logic. The central tool ofinvestigation is the embedding of suitable sequent calculi intohypersequent calculi that include Avron's communication rule