3值副一致逻辑QMPT0的序贯演算

Log. J. IGPL Pub Date : 2019-07-25 DOI:10.1093/JIGPAL/JZZ016

Naoyuki Nide, Yukiya Goto, Megumi Fujita

{"title":"3值副一致逻辑QMPT0的序贯演算","authors":"Naoyuki Nide, Yukiya Goto, Megumi Fujita","doi":"10.1093/JIGPAL/JZZ016","DOIUrl":null,"url":null,"abstract":"We present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law (PEML) as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system.","PeriodicalId":304915,"journal":{"name":"Log. J. IGPL","volume":"27 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-07-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Sequent calculus for 3-valued paraconsistent logic QMPT0\",\"authors\":\"Naoyuki Nide, Yukiya Goto, Megumi Fujita\",\"doi\":\"10.1093/JIGPAL/JZZ016\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law (PEML) as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system.\",\"PeriodicalId\":304915,\"journal\":{\"name\":\"Log. J. IGPL\",\"volume\":\"27 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-07-25\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Log. J. IGPL\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1093/JIGPAL/JZZ016\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Log. J. IGPL","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1093/JIGPAL/JZZ016","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

我们给出了一个以副一致型排除中间律(PEML)为初始序列的副一致逻辑QMPT0的序列演算。我们的系统表明，PEML的存在对QMPT0至关重要。当常数符号的集合是有限的时候，它也有特殊的规则。讨论了系统的切消性质。

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

查看原文本刊更多论文

Sequent calculus for 3-valued paraconsistent logic QMPT0

We present a sequent calculus of a paraconsistent logic QMPT0, which has the paraconsistent-type excluded middle law (PEML) as an initial sequent. Our system shows that the presence of PEML is essentially important for QMPT0. It also has special rules when the set of constant symbols is finite. We also discuss the cut-elimination property of our system.

求助全文

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

来源期刊

Log. J. IGPL

自引率

0.00%

发文量