完备剩余格的简单刻画

2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL) Pub Date : 2016-05-01 DOI:10.1109/ISMVL.2016.28

M. Kondo

{"title":"完备剩余格的简单刻画","authors":"M. Kondo","doi":"10.1109/ISMVL.2016.28","DOIUrl":null,"url":null,"abstract":"We consider properties of local and of perfect residuated lattices in terms of filters and give characterization theorems of these residuated lattices. Moreover, we show that, for a perfect residuated lattice X, a set D(X) of elements with infinite order is a normal, maximal and Boolean filter. This implies that the quotient algebra X/D(X) is the two element Boolean algebra {0,1}.","PeriodicalId":246194,"journal":{"name":"2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2016-05-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Simple Characterizations of Perfect Residuated Lattices\",\"authors\":\"M. Kondo\",\"doi\":\"10.1109/ISMVL.2016.28\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We consider properties of local and of perfect residuated lattices in terms of filters and give characterization theorems of these residuated lattices. Moreover, we show that, for a perfect residuated lattice X, a set D(X) of elements with infinite order is a normal, maximal and Boolean filter. This implies that the quotient algebra X/D(X) is the two element Boolean algebra {0,1}.\",\"PeriodicalId\":246194,\"journal\":{\"name\":\"2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-05-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2016.28\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2016.28","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文从滤波器的角度考虑了局部格和完全格的性质，并给出了这些剩余格的表征定理。此外，我们还证明了对于一个完全剩馀格X，一个由无限阶元素组成的集合D(X)是一个正规的、极大的布尔滤波器。这意味着商代数X/D(X)是两个元素布尔代数{0,1}。

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

查看原文本刊更多论文

Simple Characterizations of Perfect Residuated Lattices

We consider properties of local and of perfect residuated lattices in terms of filters and give characterization theorems of these residuated lattices. Moreover, we show that, for a perfect residuated lattice X, a set D(X) of elements with infinite order is a normal, maximal and Boolean filter. This implies that the quotient algebra X/D(X) is the two element Boolean algebra {0,1}.

求助全文

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

来源期刊

2016 IEEE 46th International Symposium on Multiple-Valued Logic (ISMVL)

自引率

0.00%

发文量