{"title":"模糊逻辑代数中的滤波器","authors":"Martin Vita, P. Cintula","doi":"10.2991/eusflat.2011.123","DOIUrl":null,"url":null,"abstract":"This paper presents a generalization of many particular results about special types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close connection between the filter-defining conditions and alternative axiomatizations of the logics involved. We identify four main kinds of theorems proved in the literature and we formulate general theorems which (provided a simple syntactical proof) yield the majority of published results as their direct consequences.","PeriodicalId":403191,"journal":{"name":"EUSFLAT Conf.","volume":"12 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Filters in algebras of fuzzy logics\",\"authors\":\"Martin Vita, P. Cintula\",\"doi\":\"10.2991/eusflat.2011.123\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents a generalization of many particular results about special types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close connection between the filter-defining conditions and alternative axiomatizations of the logics involved. We identify four main kinds of theorems proved in the literature and we formulate general theorems which (provided a simple syntactical proof) yield the majority of published results as their direct consequences.\",\"PeriodicalId\":403191,\"journal\":{\"name\":\"EUSFLAT Conf.\",\"volume\":\"12 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-08-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"EUSFLAT Conf.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.2991/eusflat.2011.123\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"EUSFLAT Conf.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2991/eusflat.2011.123","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
This paper presents a generalization of many particular results about special types of filters (e.g., (positive) implicative, fantastic) on algebras of nonclassical (mostly fuzzy) logics. Our approach is rooted in the framework of Abstract Algebraic Logic, and is based on the close connection between the filter-defining conditions and alternative axiomatizations of the logics involved. We identify four main kinds of theorems proved in the literature and we formulate general theorems which (provided a simple syntactical proof) yield the majority of published results as their direct consequences.