Title :
Hypersequents as a uniform framework for Urquhart´s C, MTL and related logics
Author :
Ciabattoni, Agata ; Fermüller, Christian G.
Author_Institution :
Tech. Univ. Wien, Austria
Abstract :
We summarize various results in proof theory of many-valued and related logics that jointly clarify the relations between important logics like MTL, (different versions of) Urquhart´s C, contraction-free versions of intuitionistic logic, and Godel logic. The central tool of investigation is the embedding of suitable sequent calculi into hypersequent calculi that include Avron´s communication rule
Keywords :
multivalued logic; theorem proving; Avron´s communication rule; Godel logic; MTL; Urquhart´s C; contraction-free versions; hypersequents; intuitionistic logic; many-valued logics; proof theory; sequent calculi; uniform framework; Additives; Books; Calculus; Fuzzy logic; Linearity; Multivalued logic; Terminology;
Conference_Titel :
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location :
Warsaw
Print_ISBN :
0-7695-1083-3
DOI :
10.1109/ISMVL.2001.924577
