共查询到19条相似文献,搜索用时 125 毫秒
1.
首先建立了非可换R_0t-模,以此为语义背景将模糊逻辑形式系统L~*拓广到非可换情形,提出了新的模糊逻辑形式系统PL~*,证明了系统PL~*的可靠性定理.其次,引入PL~*-代数及其滤子概念,得到PL~*-代数的正规素滤子定理,借此证明了PL~*系统的完备性.最后说明了PR_0t-模及PL~*系统可能的应用方向. 相似文献
2.
基于左连续伪T-模的非可换模糊逻辑系统PUL* 总被引:2,自引:0,他引:2
对P.Hájek建立的模糊逻辑系统psMTL进行了扩充,基于一般左连续伪T-模提出了非可换模糊逻辑系统PUL~*,证明了它的可靠性定理.同时,以PUL~*系统的Lindenbaum代数结构为背景引入PUL~*-代数概念,建立了相应的滤子理论,得到PUL~*-代数的正规素滤子定理,借此证明了PUL~*系统的完备性. 相似文献
3.
4.
在R0-代数中,从模糊集出发构造了模糊MP-滤子,作为应用证明了如下结果:R0-代数的所有模糊MP-滤子构成一个完备模格。 相似文献
5.
为了建立各种可换和非可换模糊逻辑的公共基础(蕴涵片段),提出了一个新的蕴涵逻辑,称为模糊BIK+-逻辑。证明了这一新的蕴涵逻辑的可靠性和弱完备性定理,同时讨论了模糊BIK+-逻辑与各种模糊逻辑之间的关系,以及与它们配套的代数结构之间的关系。 相似文献
6.
通过研究MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV-代数、Π-代数、G-代数、R0-代数等模糊逻辑代数的Loomis-Sikorski表现定理. 相似文献
7.
通过对模糊逻辑命题演算形式系统L*的代数语义——R0代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑(NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张,具有较好的扩展性。 相似文献
8.
通过对模糊逻辑命题演算形式系统L*的代数语义--R0 代数的研究,给出了R0代数簇的完整分类,并利用L*系统与幂零极小逻辑 (NML)的等价性,由系统L*是可代数化逻辑出发,得到与R0代数真子簇对应的L*系统的全部公理化扩张,文中所用的方法用样适用于其他满足逆序对合关系的逻辑的扩张, 具有较好的扩展性. 相似文献
9.
基础R0-代数与基础L*系统 总被引:73,自引:0,他引:73
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数,以及:Petr Hajek建立的模糊命题演算系统BL和BL-代数,提出了基础R0-代数和基础L^*系统的观点,讨论了基础L^*代数与BL代数,基础L^*系统与BL系统之间.的相互关系及相对独立性,讨论了基础L^*系统关于基础风一代数的完备性问题,证明了MV-代数是特殊的基础R0-代数,指出了Lukasiewicz模糊命题演算系统是基础L^*系统的扩张,最后作为基础R0-代数与基础L^*系统的一个应用,证明了L^*系统关于语义Ωw的完备性,并在将模糊命题演算系统中的推演证明转化为相应逻辑代数中的代数运算方面作了一些尝试. 相似文献
10.
引入BIK -逻辑的概念,证明了BIK -逻辑的可靠性定理(基于BCC-代数)。同时,研究了BIK -逻辑与非可换模糊逻辑的关系,说明了各种源于模糊逻辑的代数结构之间的内在联系,并用一个图示表达了这些关系。 相似文献
11.
为了使非可换逻辑代数N BR0具有剩余格结构,提出两种剩余格结构N RL和CN RL,建立N BR0代数的N RL和CN RL表示。最后讨论了CN RL上的λ结构和γ结构,得到N BR0代数的表现定理。 相似文献
12.
A Banach *-algebra A with bounded approximate identity is shown to be P-commutative if the spectrum of each element x in A coincides with the set of values at x of all pure states of A. An isomorphism theorem for P-commutative Banach *-algebras is established, and a result on the computation of the norm of a positive functional on a symmetric, P-commutative, Banach *-algebra with bounded approximate identity with bound one is proved. 相似文献
13.
Wei Wu 《Proceedings of the American Mathematical Society》2006,134(2):443-453
We present an operator space version of Rieffel's theorem on the agreement of the metric topology, on a subset of the Banach space dual of a normed space, from a seminorm with the weak*-topology. As an application we obtain a necessary and sufficient condition for the matrix metric from an unbounded Fredholm module to give the BW-topology on the matrix state space of the -algebra. Motivated by recent results we formulate a non-commutative Lipschitz seminorm on a matrix order unit space and characterize those matrix Lipschitz seminorms whose matrix metric topology coincides with the BW-topology on the matrix state space.
14.
基础R0-代数的性质及在L*系统中的应用 总被引:5,自引:1,他引:4
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相关的R0-代数,提出了基础R0-代数的观点并讨论了其中的一些性质,在将L*系统中的推演证明转化为相应的R0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了L*系统中的模糊演绎定理。 相似文献
15.
A pro-C*-algebra is a (projective) limit of C*-algebras in the category of topological *-algebras. From the perspective of non-commutative geometry, pro-C*-algebras can be seen as non-commutative k-spaces. An element of a pro-C*-algebra is bounded if there is a uniform bound for the norm of its images under any continuous *-homomorphism into a C*-algebra. The *-subalgebra consisting of the bounded elements turns out to be a C*-algebra. In this paper, we investigate pro-C*-algebras from a categorical point of view. We study the functor (−)
b
that assigns to a pro-C*-algebra the C*-algebra of its bounded elements, which is the dual of the Stone-Čech-compactification. We show that (−)
b
is a coreflector, and it preserves exact sequences. A generalization of the Gelfand duality for commutative unital pro-C*-algebras is also presented. 相似文献
16.
17.
Cancelled the first axiom L1) or the third axiom L3) of the classical formal logic system we established two kinds of quasi-formal deductive system, LG-Rand LG, respectively. In LG-R we proved that neither the deduction theorem nor the hypothetical syllogism (HS) rule held but a deduction theorem and an HS rule are obtained in a weak sense. We also proved that both the deduction theorem and the hypothetical syllogism(HS) rule hold in LG. 相似文献
18.