排序方式: 共有93条查询结果,搜索用时 218 毫秒
21.
R0代数中素⊕理想及其性质 总被引:1,自引:1,他引:0
首先通过在R0代数M中引入⊕运算给出了肘中的⊕理想和素⊕理想的概念,并讨论了它们的基本性质,得到了一些好的结论;然后在肘的全体素⊕理想之集PI(M)上构造了拓扑,并证了PI(M)是紧致的T0空间但不是T1的。 相似文献
22.
吴洪博 《四川大学学报(自然科学版)》2003,(6)
与G del系统中广义重言式之间的一种升级算法相对应,作者给出了G del系统中广义矛盾式之间的一种降级算法,对其基本性质进行了讨论,并讨论了G del系统中关于广义矛盾式理论的广义语义MP规则与广义语义HS规则,为进一步对G del系统的研究提供了帮助. 相似文献
23.
研究了模糊命题演算的形式演绎系统T^*和修正的Kleene逻辑系统W^-,W,Wk及R0-代数,给出了T^* 系统的半对偶形式系统ST^-*;与交推理规则相对应,引入并推理规则,证明了T^*系统和ST^-*系统的等价性。为形式演绎系统的研究和应用提供了一个有益的途径。 相似文献
24.
*系统中的模糊演绎定理 总被引:23,自引:3,他引:20
研究了模糊命题演算的形式演绎系统L*以及在语义上相关的修正的Kleene逻辑系统,W,W,W 相似文献
25.
BR0-代数定义的简化形式 总被引:3,自引:0,他引:3
作者对基础R0-代数进行了研究,从定义的形式上对BR0-代数进行了简化,使之更加符合逻辑代数的基本特征,进一步体现了BR0-代数与其它逻辑代数之间的关系. 相似文献
26.
将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合,在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论,较为详细地讨论了它们的性质,并利用∑Γ-真度的性质在公式集F(S)上引入了ρΓ-伪距离,对原有的理论进行了加强和补充,为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础. 相似文献
27.
文章弱化t模的交换条件而提出了一类新逻辑代数-伪BR0代数,它是BR0代数的非交换推广,讨论了伪BR0代数的基本性质,给出了它的等价刻画;并且证明了伪BR0代数类形成一个代数簇,即等式代数类,因而这个代数类关于子代数,同态像以及直积是封闭的. 相似文献
28.
首先通过在砜代数M中引入 滤子,然后又给出了M中次极大 滤子的概念,并讨论了它的性质,得到BR0代数的每个 滤子都可分解为一些次极大 滤子的交,特别地,在满足 滤子降链条件的BR0代数中,每个 滤子都可分解为有限个次极大 滤子的交。 相似文献
29.
在BL-代数中引入逆演绎系统及素逆演绎系统的概念,并在局部有限BL-代数中研究了素逆演绎系统的基本性质及逆演绎系统和通常理想之间的关系;其次,讨论了BL-代数中逆演绎系统和同余关系之间相互决定的关系;最后,证明了由素逆演绎系统诱导的商代数为线性BL-代数,进而证明了在局部有限BL-代数中一个逆演绎系统是素逆演绎系统当且仅当由其诱导的商代数是线性的BL-代数。 相似文献
30.
通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数. 相似文献