论万辛对纳尔逊逻辑的扩展

IF 0.2 4区数学 Q4 LOGIC

Reports on Mathematical Logic Pub Date : 2016-09-14 DOI:10.4467/20842589RM.16.009.5286

Hitoshi Omori

{"title":"论万辛对纳尔逊逻辑的扩展","authors":"Hitoshi Omori","doi":"10.4467/20842589RM.16.009.5286","DOIUrl":null,"url":null,"abstract":"A b s t r a c t. The present note corrects an error made by the author in answering an open problem of axiomatizing an expansion of Nelson’s logic introduced by Heinrich Wansing. It also gives a correct axiomatization that answers the problem by importing some results on subintuitionistic logics presented by Greg Restall.","PeriodicalId":48992,"journal":{"name":"Reports on Mathematical Logic","volume":"2016 1","pages":"133-144"},"PeriodicalIF":0.2000,"publicationDate":"2016-09-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"A Note on Wansing's expansion of Nelson's logic\",\"authors\":\"Hitoshi Omori\",\"doi\":\"10.4467/20842589RM.16.009.5286\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A b s t r a c t. The present note corrects an error made by the author in answering an open problem of axiomatizing an expansion of Nelson’s logic introduced by Heinrich Wansing. It also gives a correct axiomatization that answers the problem by importing some results on subintuitionistic logics presented by Greg Restall.\",\"PeriodicalId\":48992,\"journal\":{\"name\":\"Reports on Mathematical Logic\",\"volume\":\"2016 1\",\"pages\":\"133-144\"},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2016-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Reports on Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.4467/20842589RM.16.009.5286\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"LOGIC\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Reports on Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4467/20842589RM.16.009.5286","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"LOGIC","Score":null,"Total":0}

引用次数: 3

摘要

现在的注释纠正了作者在回答一个公开的问题时所犯的错误，这个问题是对海因里希·万辛提出的纳尔逊逻辑的扩展进行公理化的。它也给出了一个正确的公理化，通过引入Greg Restall提出的次直觉逻辑的一些结果来回答问题。

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

查看原文本刊更多论文

A Note on Wansing's expansion of Nelson's logic

A b s t r a c t. The present note corrects an error made by the author in answering an open problem of axiomatizing an expansion of Nelson’s logic introduced by Heinrich Wansing. It also gives a correct axiomatization that answers the problem by importing some results on subintuitionistic logics presented by Greg Restall.

求助全文

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

来源期刊

Reports on Mathematical Logic MATHEMATICS-LOGIC

CiteScore

0.60

自引率

0.00%

发文量

期刊介绍： Reports on Mathematical Logic is a journal aimed at publishing quality research papers on mathematical logic and foundations of mathematics.