1) modal R0-algebra
模态R0代数
1.
Some basic properties of modal R0-algebras are studied in detail.
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F。
2) weak R 0 algebra
弱R0代数
3) weak R_0-algebraebra
弱R0-代数
4) R0-algebra
R0代数
1.
In R0-algebra,give some kinds of property characteristics of Boolean MP filter.
在R0代数中,给出布尔MP滤子的几种性质特征。
2.
The concepts of fuzzy subalgebra and fuzzy incident MP filter in R0-algebraare introduced.
引入了R0代数的Fuzzy子代数、Fuzzy关联MP滤子的概念,给出了R0代数的Fuzzy集是Fuzzy子代数的几个等价刻画,讨论了R0代数的Fuzzy关联MP滤子的若干性质,证明了Fuzzy子代数(Fuzzy关联MP滤子)在R0代数同态(同构)下的不变性。
3.
Some basic properties of modal R0-algebras are studied in detail.
进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F。
5) R_0-algebra
R0代数
1.
Through investigating the order structure of non-totally ordered R_0-algebra,we separately present necessary and sufficient conditions to differentiate R_0-algebra whose middlepoint is additive or unremovable fromthe one whose middle-point is unadditive or unremovable.
通过考察非全序R0代数的序结构,分别给出刻划可加(可去)中点的R0代数与不可加(不可去)中点的R0代数的充要条件,对R0代数的结构给出一个清晰的描述。
2.
Proper Boolean element in R_0-algebra;
通过研究R0代数中一类特殊的元——真布尔元的性质,给出了一些特别的R0等式,并据此得到了真布尔元对R0代数分类的充要条件,为格上研究R0代数开辟了一个新的方向。
6) R0-algebras
R0-代数
1.
The formal deductive systenm for Fuzzy propositional calculus,R0-algebras and BR0-algebras have been studied.
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系。
2.
In this paper,we studied the relations between valuations and filters in some fuzzy logic algebras,such as MV-algebras,Π-algebras,G-algebras,R0-algebras,etc.
通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理。
3.
Based onthe theory and method of residual lattice,the equivalent definitions of MV-algebras,R0-algebras,i mplicative algebras,FI-algebras,BL-algebras were given.
基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻辑代数的剩余格的代数本质。
补充资料：模态
模态
modality
模态[确喊叨勿;。~OcT‘I 逻辑判断的一个性质，用以刻画该判断的确定程度.模态逻辑(确习al logiC)即是研究不同模态及它们之间的关系.Aristotie(公元前4世纪)早就研究过模态“必须”及“可能”，但他没有赋予它们一个准确的含义.该二模态被称为基本(n抑龙~扭1)模态并分别以口和今记之(或者L及M).基本模态口，今及否定，的各种组合也称为模态.如果将一个模态Q中的每一个口都改成今，又将Q中的每一个令都改成口，就得到另一个模态，记为亘，称为模态Q的对偶(d回of a nx刁aJ盛妙).在大部分模型逻辑系统中，对任一模态Q及其对偶叠，下式: Q二A<二:》，QA(，)成立. 原则上，口，令及门可以有无穷种组合;但在一个具体的模态逻辑系统中，两两不相等价的模态个数往往是有界的(因为上面的等价式(*)起作用，同时该系统中的公理也将简化某些模态，或者将某一个模态归结到另一个模态).例如，在模态逻辑系统S3中，有且仅有40个不同的模态.在S4中，仅有12个: 口A，口令A，口令口A，门口A， ，口令A，7口令口A以及它们的对偶.在55中，仅有4个模态:口A，令A，二口A，，今A.另一方面，在模态逻辑系统T，以及sl和52中，都存在无穷个模态.更有甚之，在这些系统中，不可能进行模态的归结;即，任两个正模态(不含门)Q，与QZ是等价的，当且仅当Q，=QZ· 有时，“模态”这一术语也指在不同的理论中形式化了的概念，如“真”，“可证性”，“不可证性”，有时也和时序逻辑中“将是”，“过去总是”等等联结词联系起来. 读者可参阅模态逻辑(Inodal fogic). C.K.Co6侧le。撰王驹译
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条