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

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":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"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\":0,\"journal\":{\"name\":\"\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0,\"publicationDate\":\"2016-09-14\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.4467/20842589RM.16.009.5286\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.4467/20842589RM.16.009.5286","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","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.

求助全文

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