Hypersequents作为Urquhart的C、MTL和相关逻辑的统一框架

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic Pub Date : 2001-05-22 DOI:10.1109/ISMVL.2001.924577

A. Ciabattoni, C. Fermüller

{"title":"Hypersequents作为Urquhart的C、MTL和相关逻辑的统一框架","authors":"A. Ciabattoni, C. Fermüller","doi":"10.1109/ISMVL.2001.924577","DOIUrl":null,"url":null,"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.","PeriodicalId":297353,"journal":{"name":"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic","volume":"191 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-05-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Hypersequents as a uniform framework for Urquhart's C, MTL and related logics\",\"authors\":\"A. Ciabattoni, C. Fermüller\",\"doi\":\"10.1109/ISMVL.2001.924577\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":297353,\"journal\":{\"name\":\"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic\",\"volume\":\"191 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-05-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2001.924577\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 31st IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2001.924577","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

我们总结了多值逻辑和相关逻辑证明理论中的各种结果，这些结果共同阐明了重要逻辑之间的关系，如MTL, Urquhart's C的(不同版本)，直觉逻辑的无收缩版本，以及哥德尔逻辑。研究的中心工具是将合适的序列演算嵌入到包含Avron通信规则的超序列演算中。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

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

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.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 31st IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量