非交换剩余格的商结构

2015 IEEE International Symposium on Multiple-Valued Logic Pub Date : 2015-05-18 DOI:10.1109/ISMVL.2015.30

M. Kondo

{"title":"非交换剩余格的商结构","authors":"M. Kondo","doi":"10.1109/ISMVL.2015.30","DOIUrl":null,"url":null,"abstract":"In this paper we consider some properties of noncommutative residuated lattices which are considered as an algebraic semantics of substructural logic. We show that there are always prime filters in a non-commutative residuated lattice X and that the intersection of the class Spec(X) of all prime filters of X is identical with {1}, that is, ∩ Spec(X) = {1}.","PeriodicalId":118417,"journal":{"name":"2015 IEEE International Symposium on Multiple-Valued Logic","volume":"57 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Quotient Structures of Non-Commutative Residuated Lattices\",\"authors\":\"M. Kondo\",\"doi\":\"10.1109/ISMVL.2015.30\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper we consider some properties of noncommutative residuated lattices which are considered as an algebraic semantics of substructural logic. We show that there are always prime filters in a non-commutative residuated lattice X and that the intersection of the class Spec(X) of all prime filters of X is identical with {1}, that is, ∩ Spec(X) = {1}.\",\"PeriodicalId\":118417,\"journal\":{\"name\":\"2015 IEEE International Symposium on Multiple-Valued Logic\",\"volume\":\"57 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-05-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2015.30\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2015.30","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文研究了作为子结构逻辑代数语义的非交换剩馀格的一些性质。证明了在非交换剩馀格X中总是存在素数过滤器，并且证明了X的所有素数过滤器的类Spec(X)的交与{1}相同，即∩Spec(X) ={1}。

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

查看原文本刊更多论文

Quotient Structures of Non-Commutative Residuated Lattices

In this paper we consider some properties of noncommutative residuated lattices which are considered as an algebraic semantics of substructural logic. We show that there are always prime filters in a non-commutative residuated lattice X and that the intersection of the class Spec(X) of all prime filters of X is identical with {1}, that is, ∩ Spec(X) = {1}.

求助全文

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

来源期刊

2015 IEEE International Symposium on Multiple-Valued Logic

自引率

0.00%

发文量