DocumentCode
3120953
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
fYear
2001
fDate
2001
Firstpage
227
Lastpage
232
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic, 2001. Proceedings. 31st IEEE International Symposium on
Conference_Location
Warsaw
ISSN
0195-623X
Print_ISBN
0-7695-1083-3
Type
conf
DOI
10.1109/ISMVL.2001.924577
Filename
924577
Link To Document