共查询到18条相似文献,搜索用时 46 毫秒
1.
2.
定义一种只带原子命题以及命题算子的算子命题逻辑,讨论了该逻辑的λ-归结的相容性、完备性及其若干逻辑性质。为了实现算子命题逻辑的归结推理,给出了算子命题逻辑的Petri网模型:Horn型,进一步讨论了推理算法:T-不变量算法,得到了算法的完备性定理。 相似文献
3.
研究模糊命题演算的形式演绎系统 L*及在语义上相关的修正的 Kleene逻辑系统 W,W,Wk,引入语义 [α]- MP规则 ,语义 [α+ ]- MP规则 ,语义 [α]- H S规则 ,语义 [α+ ]- H S规则等概念 ,并对这些规则的性质进行讨论 ,进一步加强该系统中的 Σ- (α-重言式 )的相应结果 ,丰富该系统中 Σ- (α-重言式 )的内容 ,为进一步研究该系统提供一个有益的工具。 相似文献
4.
5.
6.
在L-拓扑空间中提出α-远域族和α-拟一致结构的概念,讨论它的一些基本性质。在此基础上证明了每一个α-拟一致结构都可以诱导出一个α-层拓扑,每个α-层拓扑空间都可以α-拟一致化。由此,进一步分析α-拟一致连续与层连续之间的关系。 相似文献
7.
给出C~*-代数α-比较性的等价刻画:对于单的含单位元的稳定有限的C~*-代数A而言,A具有α-比较性,当且仅当对于任意的a,b∈W(A),若α·d_r(a)d_τ(b)(_τ∈QT(A)),则a≤b在Cuntz半群W(A)中成立.利用此刻画,证明了具有α-比较性的C~*-代数一定具有弱比较性;若A具有α-比较性,其中α=m+1,则A具有正元的强迹m-比较性;对于满足Kirchberg-R?rdam条件的C~*-代数,E-稳定、严格比较、α-比较性(α=m+1)、强迹m-比较性、弱比较性以及局部弱比较性彼此等价;若α:=inf{α′∈(1,∞)|A具有α′-比较}∞,则A具有α-比较性. 相似文献
8.
9.
完备剩余格中的全蕴涵推理方法 总被引:4,自引:0,他引:4
三I算法是王国俊教授提出的一种模糊推理方法,较之模糊控制理论中广泛采用的CRI 算法更具有严谨性、合理性.本文在完备剩余格中给出了模糊推理.RL-型全蕴涵α-MIFMP,α- MIFMT规则,并讨论了完备剩余格中的RL-型全蕴涵α-MI算法,得到了完备剩余格中RL-型全蕴涵α-MIFMP,α-MIFMT的计算公式,并将之应用于Godel逻辑系统,Lukasiewicz逻辑系统,Goguen逻辑系统和W-逻辑系统.特别是将结果应用于W-逻辑系统中得到了Ro-型全蕴涵α-三I算法计算公式,简化了原有的R0-型三I算法的证明. 相似文献
10.
11.
The authors investigate the α-transience and α-recurrence for random walks and Levy processes by means of the associated moment generating function, give a dichotomy theorem for not one-sided processes and prove that the process X is quasisymmetric if and only if X is not α-recurrent for all α< 0 which gives a probabilistic explanation of quasi-symmetry, a concept originated from C. J. Stone. 相似文献
12.
研究了L-拓扑空间的相对α-紧集.基于α-紧性,在L-拓扑空间中引入相对α-紧性的概念,得到了它的一些性质,如它是L-好的推广,对α-闭子集遗传,被α-irresolute的广义Zadeh型函数所保持等. 相似文献
13.
在L-拓扑空间中定义了L-子集的几乎超紧性,讨论了几乎超紧L-子集的性质以及L-子集的几乎超紧性与超紧性、近似超紧性及几乎良紧性之间的关系,给出了几乎超紧L-子集的网式及滤子刻画并证明了L-拓扑空间的几乎超紧性是几乎紧性的“L-推广”. 相似文献
14.
We study property T for an action α of a discrete group Γ on a unital C*-algebra
$$\mathscr{A}$$
. Our main results improve some well-known results about property T for groups. Moreover, we introduce Hilbert
$$\mathscr{A}$$
-module property T and show that the action α has property T if and only if the reduced crossed product
$$\mathscr{A}\;{\rtimes_{\alpha, r}}$$
Γ has Hilbert
$$\mathscr{A}$$
-module property T. 相似文献
15.
给出了L-fuzzy拓扑空间中L-fuzzyα-开运算的定义.然后借助L-fuzzyα-开运算给出L-fuzzy拓扑空间中L-fuzzyα-紧的定义;其次给出L-拓扑空间中开覆盖及fuzzyα-紧的定义;并分别得到了一些相关性质;最后讨论了L-fuzzy拓扑空间中L-fuzzyα-紧与L-拓扑空间中fuzzyα-紧之间的关系. 相似文献
16.
In an earlier paper, a sequential test of the equality of probabilities in a multinomial distribution was proposed, and compared to fixed sample size tests in the special case of two categories. In the present paper, the test is generalized to testing any simple hypothesis about a multinomial distribution, and compared to fixed sample size tests when the number of categories is large. The method of construction of the test is used to construct tests with precisely the desired level of significance, for multinomial and other problems, including Markov chains. 相似文献
17.
The notion of a fuzzy retract was introduced by Rodabaugh (1981). The notion of a fuzzy pairwise retract was introduced in 2001. Some weak forms and some strong forms of α-continuous mappings were introduced in 1988 and 1997. The authors extend some of these forms to the L-fuzzy bitopological setting and construct various α-fuzzy pairwise retracts. The concept of weakly induced spaces in the case L = [0, 1] was introduced by Martin (1980). Lin and Luo (1987) generalized this notion to the case that L is an arbitrary F-lattice and introduced the notion of induced L-fts. Several results are obtained, especially, for L-valued pairwise stratification spaces. 相似文献
18.
Hoger GHAHRAMANI 《数学物理学报(B辑英文版)》2014,(4):1287-1300
Let A be a subalgebra of B(X) containing the identity operator I and an idempotent P. Suppose that α, β : A → A are ring epimorphisms and there exists some nest N on X such that α(P)(X) and β(P)(X) are non-trivial elements of N. Let A contain all rank one operators in AlgN and δ : A → B(X) be an additive mapping. It is shown that, if δ is(α, β)-derivable at zero point, then there exists an additive(α, β)-derivation τ : A → B(X)such that δ(A) = τ(A) + α(A)δ(I) for all A ∈ A. It is also shown that if δ is generalized(α, β)-derivable at zero point, then δ is an additive generalized(α, β)-derivation. Moreover,by use of this result, the additive maps(generalized)(α, β)-derivable at zero point on several nest algebras, are also characterized. 相似文献