Nelson代数中的否定关系

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

Conrado Gomez, M. Marcos, H. J. S. Martín

{"title":"Nelson代数中的否定关系","authors":"Conrado Gomez, M. Marcos, H. J. S. Martín","doi":"10.4467/20842589rm.21.002.14374","DOIUrl":null,"url":null,"abstract":"The aim of this paper is to investigate the relation between the strong and the \"weak\" or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman's construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.","PeriodicalId":447333,"journal":{"name":"Reports Math. Log.","volume":"11 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-11-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"On the relation of negations in Nelson algebras\",\"authors\":\"Conrado Gomez, M. Marcos, H. J. S. Martín\",\"doi\":\"10.4467/20842589rm.21.002.14374\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The aim of this paper is to investigate the relation between the strong and the \\\"weak\\\" or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman's construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.\",\"PeriodicalId\":447333,\"journal\":{\"name\":\"Reports Math. Log.\",\"volume\":\"11 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-11-10\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Reports Math. Log.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4467/20842589rm.21.002.14374\",\"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.002.14374","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文的目的是研究Nelson代数中的强否定与“弱”否定或直觉否定之间的关系。为此，我们定义了具有直觉否定的Kleene代数的种类，并探讨了伪互补分配格的Kalman构造。我们也研究了这一类的中心代数。

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

查看原文本刊更多论文

On the relation of negations in Nelson algebras

The aim of this paper is to investigate the relation between the strong and the "weak" or intuitionistic negation in Nelson algebras. To do this, we define the variety of Kleene algebras with intuitionistic negation and explore the Kalman's construction for pseudocomplemented distributive lattices. We also study the centered algebras of this variety.

求助全文

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

来源期刊

Reports Math. Log.

自引率

0.00%

发文量