位置：成果数据库 > 期刊 > 期刊详情页
逻辑系统中广义语义MP规则证明的改进
  • 期刊名称：计算机工程与应用，46（2010）22:52-87
  • 时间：0
  • 相关项目：Quantale相关结构的代数性质研究
同期刊论文项目
Quantale相关结构的代数性质研究
期刊论文 104
同项目期刊论文
QBL代数及其与BL代数的等价性
双Quantale模范畴
Quantale代数及其代数理想
R0代数的并半格蕴涵表示形式及其简化
BL*Δ-系统中理论的Δ-根及广义Δ-MP问题
Quantale上的I型结构及其性质
模糊半连续格的性质
NML系统的有限强完备性
Quantale模范畴的良冪性及其定向極限
WZ-Domain与WZ-Scott拓扑
Girard Quantale中的模糊关联滤子
拟连续Domain的遗传性、不变性及映射空间
相容Domain间Scott连续自映射的不动点
The generalized truth degree of quantitative logic in logic system L*n(n-valued NM-logic system)
逻辑系统H中的广义语义MP规则
Quantale上的结构和结构
V-quantale的表示定理
推理闭包空间之间的连续映射及商映射
偏序集上的两类序收敛
强FS-Poset若干性质的研究
Quantic格上的同态定理
逻辑系统H中的三-I算法
领域系算子范畴及相关性质
模糊完备格上的模糊同余关系
Quantale上的Localic核与Localic余核映射
Quantic格中的理想和理想余闭包算子
The quantic conuclei on quantales
Kernel systems on L-ordered sets
基于非交换剩余格的模糊蕴涵滤子及其性质
基础模糊命题演算系统的改进系统
BL*系统的一种扩张及其相关性质
-Lindenbaum代数中的商理想
Quantale上的基
序半群上的等同关系
非交换BR0代数的剩余格表示
(3n+1)值逻辑系统R0L中公式的真度性质
正则剩余格上的模糊理想与模糊蕴涵理想
正则FI代数与WBR0代数的关系
双Z-连续格和双Z-Scott拓扑的性质
双Quantale模中的同余及核映射
Stone-like representation theorems and three-valued filters in R0-algebras
Z-Quantale及其范畴性质
Cyclic dualizing elements in Girard quantales
对偶Quantale上的Par运算及其性质
Quantale中理想的扩张
Quantale中的弱S- 素元及其性质
BR-代数的无序表示形式及WBR-代数性质
R-代数在一般集合上的表示形式
序半群范畴的反射子范畴
可传V-Quantale和蕴含V-Quantale
模糊命题演算系统的一个新的等价形式
格上BR0代数结构的表示定理
粗糙集代数与BR代数
闭包算子格及其分配性
FZ-Domain的基与抽象基的RZ-理想完备化
Quantale上的预核映射与预理想余核映射
Quantale中的素根定理
关于Quantale矩阵M—P广义逆的注记
相容拟半连续Domain和相容交半连续Domain
Quantale模核映射与余核映射的关系
The Connectedness of Quantales
QBL-代数及其与BL-代数的等价性
BR_0-分配性及其推广
弱拓扑分子格的连通性及局部连通性
格上BR0-代数结构的表示定理
BLΔ^＊系统中理论的Δ-根及广义Δ-MP问题
M-闭包空间的积、和与商
三类特殊闭包空间的范畴性质
强FS—Poset若干性质的研究
系统L中公式相对于有限理论的ΣΓ-真度再研究
真度的均值表示形式在逻辑系统Ln中的应用
系统Ln中公式相对于有限理论的∑Г-真度再研究
经典逻辑系统中公式的真度及公式间伪距离的一种等价定义
多值逻辑系统RDP中的子代数理论
基础模糊命题演算系统BL＊的改进系统
Quantale上的双侧核映射
正则剩余格上的模糊理想基
连续值Luk系统中公式的Γ-真度及其性质
WBR_0-代数的∧-半格表示及其实例
闭包算子空间范畴及其性质研究
模糊集间的R0-相似关系及其性质
粗糙集代数与BR0代数
逻辑系统Hα中广义语义MP规则证明的改进
Quantale模范畴的良幂性及其定向极限
Quantale矩阵的广义逆及其正定性
BR0-代数的无序表示形式及WBR0-代数性质
WZ—Domain与WZ—Scott拓扑
Quantale中的模糊滤子
Ln^＊系统中理论的相对发散度和相对相容度
L-模糊偏序集上的核算子与核系统
R0代数的∨-半格蕴涵表示形式及其简化
正则剩余格上的模糊理想及模糊蕴涵理想
模糊集Quantale与Quantale的嵌入
Quantale中的弱S-素元及其性质
L-闭包系统的确定
完备De Morgan代数上弱余拓扑的确定
邻域系算子格及其性质
差分方程在概率问题中的应用
L-拓扑空间的R-强连通性