共查询到18条相似文献,搜索用时 187 毫秒
1.
在偏序集上利用上集算子和下集算子引入了弱理想,弱滤子,弱素理想,弱素滤子,弱极大理想和弱极大滤子等概念,研究了它们的若干性质,同时给出了偏序集上的(DPI),(BPI),(DMI),(BUF)公理并建立了它们与Zorn引理之问的相互关系. 相似文献
2.
R_0代数的滤子理论 总被引:1,自引:0,他引:1
在R0代数中引入了正蕴涵滤子、奇异滤子、MV滤子的概念,讨论了这些滤子的性质及关系.得到了:在R0代数上,蕴涵滤子、正蕴涵滤子、布尔滤子是等价的;奇异滤子与MV滤子是等价的;正蕴涵滤子是奇异滤子,但反之不真. 相似文献
3.
把犹豫模糊集理论应用在R0-代数上,给出R0-代数的犹豫模糊MP滤子、犹豫模糊素MP滤子、犹豫模糊蕴涵滤子的概念,讨论R0-代数上这几类犹豫模糊滤子的性质以及它们之间的等价刻画. 相似文献
4.
研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。 相似文献
5.
6.
R0代数的Fuzzy MP滤子 总被引:5,自引:4,他引:1
引入R0代数的Fuzzy MP滤于与Fuzzy素MP滤子的概念,给出R0代数的Fuzzy MP滤子与Fuzzy素MP滤子的若干等价刻画,并由此得到R0代数的MP滤于与素MP滤子的一些等价刻画。 相似文献
7.
本文提出了格蕴涵代数的关联理想和模糊关联理想的概念,讨论了它们的性质,指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系。 相似文献
8.
9.
10.
11.
R_0代数及其基本结构 总被引:24,自引:0,他引:24
以R0-Lindenbaum代数为背景,提出了较蕴涵格稍强的R0代数概念,在讨论了其基本性质的基础上给出了R0代数的两个等价系统,并从商代数的角度研究了Ro代数的基本结构. 相似文献
12.
MTL代数的特征定理 总被引:3,自引:1,他引:2
对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质. 相似文献
13.
In this paper, we introduce the notions of (∈, ∈ ∨ q)‐fuzzy filters and (∈, ∈ ∨ q)‐fuzzy Boolean (implicative) filters in R0‐algebras and investigate some of their related properties. Some characterization theorems of these generalized fuzzy filters are derived. In particular, we prove that a fuzzy set in R0‐algebras is an (∈, ∈ ∨ q)‐fuzzy Boolean filter if and only if it is an (∈, ∈ ∨ q)‐fuzzy implicative filter. Finally, we consider the concepts of implication‐based fuzzy Boolean (implicative) filters of R0‐algebras (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim) 相似文献
14.
在De Morgan代数上引入广义R0算子,举例说明了一般De Morgan代数中的广义R0算子不能构成t-模。引入强De Morgan代数的概念,讨论它的基本性质,证明强De Morgan代数L上的广义R0算子构成t-模(称为广义R0t-模)。给出若干重要反例,并证明强De Morgan代数上的广义R0t-模是左连续的。 相似文献
15.
强Ockham代数与剩余格 总被引:1,自引:1,他引:0
首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质.然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数.最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的. 相似文献
16.
17.
18.
引入效应代数的直觉模糊滤子和它的水平滤子的概念,讨论了直觉模糊滤子与水平滤子间的关系,给出了直觉模糊滤子的等价描述,研究了直觉模糊滤子的几个运算性质。在两个经典效应代数的效应态射与效应同构意义下,讨论了这种直觉模糊滤子的像和前像问题。 相似文献