-
题名MV代数的子代数及相关重言式之间的关系
- 1
-
-
作者
周建仁
吴洪博
-
机构
陕西师范大学数学与信息科学学院
-
出处
《计算机工程与应用》
CSCD
2013年第9期45-49,共5页
-
基金
国家自然科学基金(No.11171196)
-
文摘
对MV单位区间[0,1]和n-值MV代数Ln的子代数的结构问题及其上重言式之间的关系进行了较为细致的研究。主要结论是:如果MV单位区间[0,1]的子代数M同构于n-值MV代数Ln的子代数,那么,存在正整数m满足(m-1)|(n-1)使得M=Lm;如果M是MV单位区间[0,1]的子代数,那么或M为有限MV代数Ln,或M为区间[0,1]上包含{0,1}的稠密集;若正整数n-1可分解为(m1-1)(m2-1)…(mt-1),其中m1-1,m2-1,…,mt-1是两两互素的正整数,则Ln是Lm1,Lm2,…,Lmt生成的MV代数;T([0,1])=∞∩n=2T(Ln),其中T(M)表示MV代数M上全体重言式之集合。
-
关键词
模糊逻辑
Lucasiewicz逻辑系统
多值逻辑代数(MV)
子代数
重言式
-
Keywords
fuzzy logic
lucasiewicz-logic system
algebras of Many-Valued logics (MV)
subalgebra
tautology
-
分类号
O141.1
[理学—基础数学]
-