位置：成果数据库 > 期刊 > 期刊详情页
n值R0 命题逻辑系统L*n 中公式的
  • 期刊名称：云南师范大学学报，27（2007）4:1-7
  • 时间：0
  • 相关项目：Quantale理论中若干问题的研究
作者： 张红杰，吴洪博
同期刊论文项目
Quantale理论中若干问题的研究
期刊论文 78 会议论文 4 著作 1
同项目期刊论文
On L-fuzzy Order –Preserving
The distributive equations for
Quantale范畴的代数性
对合Quantale范畴中的自由对象及
L*系统中由单个原子生成的公式的
The category of supercontinuou
预格及其性质的研究
准连续Domain和稳定映射
￡*系统中L*10的特点及应用
L*系统中的模糊演绎定理的改进形
L(-空间中的Hausdorff分离性
自由Dcpo与自由完备格的结构
二值命题逻辑中命题的矛盾度理论
预Girard Quantale及其性质的研
单纯Quantale
关于正则蕴涵算子
正则蕴涵算子分析性质的研究
分配超格
拟代数Domain的若干性质
Quantale矩阵可逆性的刻画
Lim-inf convergence in partial
Inclusive regular separation i
基于完备BR0-代数的全蕴涵三I算
相通连续Domain的若干特征定理
Quantale中的素理想及弱素理想
Prequantale及其范畴性质
幂等右侧Quantale上的幂零矩阵
单纯Quantale及其Quantale商
连续Domain的遗传性及其不变性
The ideal conuclei on quantale
完备剩余格中的全蕴涵推理方法
MV代数定义的蕴涵简化形式
Quantale矩阵的行列式的若干性质
N-半单代数中的剩余格结构
余Quantale及其性质
BR0-代数与BCK-代数
Girard Quantale的若干性质
Ln 命题演算中的一种新程度化方
系统Hα中F(S)的一个分划及一种
R0-代数的格蕴涵表示定理
由导集运算定义拓扑的方法
分子格中的ωΤ1分离性
命题逻辑系统L*的有效集
Order-convergence and Lim-inf
模态条件方程的一类新解
关于BR0-代数弱完备性的证明
A logical topological structur
Quantale矩阵的合成
O2 - convengence in posets
BR0代数与FI代数的关系
The Largest Spatial Frame Quotient on Prequantale
关联子集与不连通空间的等价刻画
L^＊系统中L^＊10的特点及应用
子Quantale的计数问题
对合Quantale范畴中的自由对象及其良幂性
Uninorm与T-operator的剩余结构
命题逻辑系统Ln中公式相对于有限理论的∑г-模糊真度理论
系统L中公式相对于有限理论的∑_Γ-真度理论
Luk-Lindenbaum代数中的＊滤子
BR_0代数中理想及其性质
命题逻辑系统L_n~*中公式关于有限理论的Σ_Γ-真度理论
R0代数的Fuzzy子代数与Fuzzy关联MP滤子
超格中的理想
系统Hα中F（S）的一个分划及一种升级算法
Quantale上的理想余核
命题逻辑系统L^＊的有效集
R0代数中素理想的拓扑性质
Quantale中的闭滤子
[0，1]上的一种逻辑度量结构
BR0代数的关联MP滤子和布尔MP滤子
BR_0代数中的次极大滤子
分配的Fuzzy蕴涵代数
基于剩余格理论的P-有界分配格的理想集代数
Quantale中的理想与同余
预线性剩余格与逻辑代数
推理闭包算子及其诱导的空间
乘积代数的性质和度量