一元$k\times j$ -粗糙的Heyting代数

IF 0.3 4区数学 Q1 Arts and Humanities Archive for Mathematical Logic Pub Date : 2021-11-13 DOI:10.1007/s00153-021-00802-6

Federico Almiñana, Gustavo Pelaitay

{"title":"一元\$k\\times j\$ -粗糙的Heyting代数","authors":"Federico Almiñana, Gustavo Pelaitay","doi":"10.1007/s00153-021-00802-6","DOIUrl":null,"url":null,"abstract":"<div><p>In this paper, we introduce the variety of algebras, which we call monadic <span>\$k\\times j\$</span>-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in <span>\$3\\times 2\$</span> case they coincide with monadic 3-valued Łukasiewicz–Moisil algebras. Our main interest is the characterization of simple and subdirectly irreducible monadic <span>\$k\\times j\$</span>-rough Heyting algebras. In order to this, an Esakia-style duality for these algebras is developed.</p></div>","PeriodicalId":48853,"journal":{"name":"Archive for Mathematical Logic","volume":null,"pages":null},"PeriodicalIF":0.3000,"publicationDate":"2021-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Monadic \\\$k\\\\times j\\\$-rough Heyting algebras\",\"authors\":\"Federico Almiñana, Gustavo Pelaitay\",\"doi\":\"10.1007/s00153-021-00802-6\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>In this paper, we introduce the variety of algebras, which we call monadic <span>\\\$k\\\\times j\\\$</span>-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in <span>\\\$3\\\\times 2\\\$</span> case they coincide with monadic 3-valued Łukasiewicz–Moisil algebras. Our main interest is the characterization of simple and subdirectly irreducible monadic <span>\\\$k\\\\times j\\\$</span>-rough Heyting algebras. In order to this, an Esakia-style duality for these algebras is developed.</p></div>\",\"PeriodicalId\":48853,\"journal\":{\"name\":\"Archive for Mathematical Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.3000,\"publicationDate\":\"2021-11-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Archive for Mathematical Logic\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s00153-021-00802-6\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"Arts and Humanities\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Archive for Mathematical Logic","FirstCategoryId":"100","ListUrlMain":"https://link.springer.com/article/10.1007/s00153-021-00802-6","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"Arts and Humanities","Score":null,"Total":0}

引用次数: 3

摘要

在本文中，我们引入了代数的多样性，我们称之为单元\（k \ times j \）-粗糙Heyting代数。这些代数构成了一元Heyting代数的扩展，并且在\（3\times2\）的情况下，它们与一元3值的Łukasiewicz–Moisil代数重合。我们的主要兴趣是简单和次直不可约的一元\（k\timesj\）-粗糙Heyting代数的刻画。为此，发展了这些代数的Esakia型对偶。

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

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

Monadic $k\times j$-rough Heyting algebras

In this paper, we introduce the variety of algebras, which we call monadic $k\times j$-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in $3\times 2$ case they coincide with monadic 3-valued Łukasiewicz–Moisil algebras. Our main interest is the characterization of simple and subdirectly irreducible monadic $k\times j$-rough Heyting algebras. In order to this, an Esakia-style duality for these algebras is developed.

求助全文

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

来源期刊

Archive for Mathematical Logic MATHEMATICS-LOGIC

CiteScore

0.80

自引率

0.00%

发文量

审稿时长

6-12 weeks

期刊介绍： The journal publishes research papers and occasionally surveys or expositions on mathematical logic. Contributions are also welcomed from other related areas, such as theoretical computer science or philosophy, as long as the methods of mathematical logic play a significant role. The journal therefore addresses logicians and mathematicians, computer scientists, and philosophers who are interested in the applications of mathematical logic in their own field, as well as its interactions with other areas of research.

期刊最新文献

Punctually presented structures II: comparing presentations The Tarski–Lindenbaum algebra of the class of strongly constructivizable models with $$\omega $$-stable theories Separablilty of metric measure spaces and choice axioms Fragments of IOpen Convergence of measures after adding a real.

一元\(k\times j\) -粗糙的Heyting代数

摘要