关于亨伯斯通常数Ω的注释

Reports Math. Log. Pub Date : 2021-11-10 DOI:10.4467/20842589rm.21.004.14376

Satoru Niki, Hitoshi Omori

{"title":"关于亨伯斯通常数Ω的注释","authors":"Satoru Niki, Hitoshi Omori","doi":"10.4467/20842589rm.21.004.14376","DOIUrl":null,"url":null,"abstract":"We investigate an expansion of positive intuitionistic logic obtained by adding a constant Ω introduced by Lloyd Humberstone. Our main results include a sound and strongly complete axiomatization, some comparisons to other expansions of intuitionistic logic obtained by adding actuality and empirical negation, and an algebraic semantics. We also brie y discuss its connection to classical logic.","PeriodicalId":447333,"journal":{"name":"Reports Math. Log.","volume":"17 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"A note on Humberstone's constant Ω\",\"authors\":\"Satoru Niki, Hitoshi Omori\",\"doi\":\"10.4467/20842589rm.21.004.14376\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We investigate an expansion of positive intuitionistic logic obtained by adding a constant Ω introduced by Lloyd Humberstone. Our main results include a sound and strongly complete axiomatization, some comparisons to other expansions of intuitionistic logic obtained by adding actuality and empirical negation, and an algebraic semantics. We also brie y discuss its connection to classical logic.\",\"PeriodicalId\":447333,\"journal\":{\"name\":\"Reports Math. Log.\",\"volume\":\"17 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Reports Math. Log.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4467/20842589rm.21.004.14376\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Reports Math. Log.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4467/20842589rm.21.004.14376","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

我们研究了一个由Lloyd Humberstone引入的通过添加常数Ω得到的积极直觉逻辑的展开式。我们的主要结果包括一个健全和强完备的公理化，一些与其他通过添加现实性和经验否定获得的直觉主义逻辑的扩展的比较，以及一个代数语义。我们还简要讨论了它与经典逻辑的联系。

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

查看原文本刊更多论文

A note on Humberstone's constant Ω

We investigate an expansion of positive intuitionistic logic obtained by adding a constant Ω introduced by Lloyd Humberstone. Our main results include a sound and strongly complete axiomatization, some comparisons to other expansions of intuitionistic logic obtained by adding actuality and empirical negation, and an algebraic semantics. We also brie y discuss its connection to classical logic.

求助全文

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

来源期刊

Reports Math. Log.

自引率

0.00%

发文量