共查询到19条相似文献，搜索用时 765 毫秒
1.
研究赋值格为非线性序,蕴涵算子→取Gaines－Rescher的RGR的一种4值逻辑系统GR14,得到若干结果．特别是,在系统GR14中,α－MP规则都成立（α＞0）;GR14重言式必是GR14-准重言式,GR14-准重言式必是C2-重言式,即一个公式是GR14中的重言式当且仅当它既是I-重言式又是J-重言式,即． 相似文献
2.
平静水 《淮南师范学院学报》2010,12(3):4-6
讨论了剩余类蕴涵算子之一Lukasiewicz蕴涵算子的导出算子的三值系统L3和n值逻辑系统Ln（n〉3）,首先给出了L3的真值表,它是C2真值表的扩充,它也保持MP规则和正则性,接下来讨论了b中的重言式（tautology）与IPC（inmitionistic propositional calculus）公理之间的关系以及L3的准重言式与C2的重吉式之间的关系。最后考虑了Ln中的予代数及不同逻辑系统Ln中重言式的比较。 相似文献
3.
4.
讨论了拟格蕴涵代数的基本性质,由此得到：拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X（X,V,∧,`,→,0,1）为拟格蕴涵代数,≤L为格（X,∨,∧）上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系. 相似文献
5.
研究了由非紧距离空间(M,d)到Riesz空间R上的非线性Lipschitz-α算子的格,证明了算子空间LαB(M,R)是Riesz空间且(B1(LαB(M,R),∨,∧)是一完备的完全可分配格. 相似文献
6.
于鸿丽 《西安文理学院学报》2008,11(3):36-39
系统Hα是一个带有参数的系统,将参数α赋予不同的值,将会得到不同的多值逻辑系统．借助子代数理论,研究了多值逻辑系统Hα中的重言式分类定理,为系统Hα的进一步研究奠定了基础． 相似文献
7.
许颖 《内江师范学院学报》2008,23(6):24-27
在有逆序对合对应“＇”的完备格（或称为DeMorgan代数）L上定义了开预拓扑、边界、伪内部算子和伪边界算子,并证明了L上的所有开预拓扑,所有伪内部算子和所有伪闭包算子构成了彼此同构的完备格．L上的所有伪边界算子和所有闭预拓扑是完全备格同构． 相似文献
8.
彭家寅 《内江师范学院学报》2007,22(6):9-11
讨论了L-λ-G族模糊蕴涵算子的伴随算子及其正则性,指出了在模糊蕴涵算子族L-λ-G中,只有R_(Lu)算子与R_G算子有伴随算子且具有正则性,从而说明了这两种算子是较理想的蕴涵算子.最后通过一个实例,说明了模糊蕴涵算子族L-λ-G在近似推理中的具体应用. 相似文献
9.
在有界蕴涵BCK-代数与Boole代数是等价代数系统的基础上,从格论观点来研究了BCK-代数中的粗糙算子的代数性质。 相似文献
10.
乘积格蕴涵代数的理想 总被引：1，自引：0，他引：1
在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想(素理想)当且仅当A,B分别是L1和L2的理想(素理想),两条Lukasiewicz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm×{b1}两个素理想. 相似文献
11.
在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极大解,进而给出其具体解集. 相似文献
12.
白利军 《兰州石化职业技术学院学报》2011,11(2):66-68
讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数. 相似文献
13.
证明了正则的Heyting-代数如果满足x→y=x＇∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。 相似文献
14.
本文定义了格中模糊集合的上、下近似集合,讨论了格中全体模糊集合的集合F（L）上的上、下近似算子的性质,研究F（L）的代数结构,证明在一定条件下（F（L）∧,∨,,aprR,aprR）是一个Pawlak代数。 相似文献
15.
建立了险象识别格的概念，并引进次大元，次小元，心脏，外壳，Boole型子格等相关概念，讨论其基本性质并给出若干例子，从而为进一步研究险象识别逻辑做好了准备． 相似文献
16.
描述逻辑中含有循环定义的TBox通常使用固定点模型来刻画循环定义的语义,对于固定点模型,不仅需要研究其存在性,还需要研究模型之间的关系,如是否存在最大、最小固定点模型。TBox中所有模型扩展集合上的偏序关系可以诱导出格结构,而且是完备格,现有的研究得出的一些结论主要是针对此完备格。考虑在特定固定点下,概念解释域上的偏序关系同样可以诱导出格。对这种格进行研究得出了一些有益的结论,这些结论为深入研究循环描述逻辑语义提供了新的思路。 相似文献
17.
引进了格蕴涵代数的Fuzzy素LI-理想和Fuzzy极大LI-理想的概念，探讨了Fuzzy ILI-理想的一些性质，获得了格蕴涵代数的Fuzzy素LI-理想九个特征与格H蕴涵代数的Fuzzy素LI-理想的八个特征。给出了Fuzzy素LI-理想的扩展性质，建立了各类Fuzzy LI-理想与LI-理想的联系，引进了格蕴涵数的Fuzzy零LI-理想。最后用相应的Fuzzy LI-理想刻画了某些类型的格蕴涵代数。 相似文献
18.
19.