基于连续值逻辑之BCK-代数的不分明蕴涵理想  

Fuzzifying Implicative Ideals of BCK-algebras Based on Continuous-valued Logic

作　　者：彭家寅[1] 

机构地区：[1]内江师范学院数学与信息科学学院,四川内江641100

出　　处：《模糊系统与数学》2015年第5期1-10,共10页Fuzzy Systems and Mathematics

基　　金：国家自然科学基金资助项目(11071178);教育部"数学与应用数学专业综合改革"项目(ZG0464);四川省"数学与应用数学专业综合改革"项目(01249);四川省"解析几何精品开发课"项目

摘　　要：在连续值逻辑的语义框架下,我们用连续值逻辑上的一元谓词演算方法引入了不分明BCK-蕴涵理想的概念,研究了几种不分明理想的若干性质及其之间一些关系。Under the semantic frame of continuous-valued logic, we define the concept of fuzzifying implicative ideals of BCK-algebra by a unary predicate calculus on continuous-valued logic. Some properties of several kinds of fuzzifying ideals are discussed and some relations among them are investigated.

关 键 词：连续值逻辑 不分明理想 不分明蕴涵理想 不分明正定蕴涵理想 

分 类 号：O159[理学—数学]