首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到15条相似文献,搜索用时 59 毫秒
1.
粗糙集代数与格蕴涵代数   总被引:2,自引:1,他引:1  
讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为格蕴涵代数。  相似文献   

2.
格蕴涵代数的拓扑结构   总被引:2,自引:1,他引:1  
给出了格蕴涵代数中弱滤子的概念,对弱滤子的性质和结构进行了研究,证明了格蕴涵代数中全体弱滤子构成一个拓扑结构,格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。  相似文献   

3.
关于格蕴涵代数的几点注记   总被引:2,自引:2,他引:0  
给出了一般(2,1,0,0)型代数(L,→^*0,1)成为格蕴涵代数的充要条件,证明了在有限链及非全序四元格上只有一种格蕴涵代数,且不存在非全序五元格蕴涵代数,为进一步讨论由语言真值构成的格蕴函代数的结构提供了条件。  相似文献   

4.
模糊格蕴涵代数   总被引:18,自引:4,他引:14  
本文将模糊集合率应用于格蕴涵代数,给出了模糊格蕴涵代数的概念,并讨论了它们的一些基本性质。  相似文献   

5.
关于格蕴涵代数模糊滤子的一个注记   总被引:2,自引:1,他引:1  
在格蕴涵代数基本结构基础上进一步研究了格蕴涵代数的模糊滤子的性质,指出了模糊滤子可以诱导出格蕴涵代数的一簇同余关系,并研究了这簇同余关系的代数结构及灾些同余关系所诱导的商代数之间的同态映射。  相似文献   

6.
格蕴涵代数的单性与周期性   总被引:2,自引:0,他引:2  
讨论了格蕴涵代数的单性和周期性,并研究了这两种性质之间的关系,同时给出了格蕴涵代数具有单性的几个断定方法,得出了一个重要结论;如果有限的单格蕴涵代数中存在对偶原子,则一定唯一。  相似文献   

7.
基于有限格蕴涵代数的格值命题逻辑语义系统   总被引:2,自引:0,他引:2  
以有限格蕴涵代数作为逻辑系统的真值域,在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统,研究了在A水平上系统的赋值和公式的可满足性等基本定义,证明了系统“有效性”的可判定性并给出了判定算法。  相似文献   

8.
基于有限格蕴涵代数的格值命题逻辑语法系统   总被引:1,自引:1,他引:0  
以有限格蕴涵代数为真值域,建立了基于有限格蕴涵代数的格值命题逻辑系统;采用公理化的方法,给出了该系统在A水平上的语法导出、证明和协调性等基本定义,并证明了系统的可靠性定理、协调性定理、弱完备性定理和弱演绎定理.  相似文献   

9.
赋值格中一种混合运算的性质和应用   总被引:3,自引:0,他引:3  
研究了R0-代数、格蕴涵代数和基本逻辑代数;讨论了一般赋值格中一种混合运算的性质,特别是对这种混合运算在R0-代数中的性质进行了讨论,并应用它建立了R0-代数中的一种滤子,得到了一些结果,为R0-代数的研究和一般赋值格的研究提供了可借鉴的方法和帮助。  相似文献   

10.
格蕴涵代数中滤子的若干性质   总被引:3,自引:0,他引:3  
首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。  相似文献   

11.
讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论T保子模型,保模型链之并、保模型同态、理论T不是完备的,也不是模型完备的,因此不存在内在Skolem函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。  相似文献   

12.
The modal lattice implication algebra (i. e., M-lattice implication algebra) is introduced and its properties are investigated. The modal lattice-valued propositional logical system is introduced by considering the M-lattice implication algebra as the valuation field, and the syntax and semantic of the logical system are discussed, respectively.  相似文献   

13.
As a continuate work,ideal-based resolution principle for lattice-valued first-order logic system LF(X) is proposed,which is an extension of α-resolution principle in lattice-valued logic system based on lattice implication algebra.In this principle,the resolution level is an ideal of lattice implication algebra,instead of an element in truth-value field.Moreover,the soundness theorem is given.In the light of lifting lemma,the completeness theorem is established.This can provide a new tool for automated reasoning.  相似文献   

14.
First,We reviewed the definitions of lattice implication algebras,lattice implication subalgebras,and LI-ideals,and provided an equivalent definition of LI-ideal.Then we investigated some properties of lattice implication subalgebra and LI-ideal,and found the least lattice implication subalgebra.Finally,the relation between lattice implication subalgebra and LI-ideal is presented.It is proved that no LI-ideals are non-trivial lattice implication subalgebras.  相似文献   

15.
Introduction In order to study the lattice-valued logic system,Xu[1]proposed the concept of lattice implication alge-bra by combining the lattice with the implication alge-bra and discussed its properties systematically. InRefs.[2,3], a lattice-valued propositional logic sys-tem was established using the concepts of free alge-bra, which corresponds to the lattice implication alge-bra, and the semantic and syntactical problems of thissystem were discussed. Xu et al[4]extended the reso-lution p…  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号