位置：成果数据库 > 期刊 > 期刊详情页
Cartesian closed categories of FZ-domains
  • 期刊名称：Acta Mathematica Sinica, English Series
  • 时间：2013
  • 页码：2373-2390
  • 相关项目：Domain与Quantale理论的模糊化研究
作者： Liu Min|Zhao Bin|
同期刊论文项目
Domain与Quantale理论的模糊化研究
期刊论文 87 会议论文 8
同项目期刊论文
模糊半连续格的性质
剩余偏序集及其与FI代数的关系
基于剩余格的一类度量空间及性质
计量逻辑中真度的均值表示形式及应用
对合左Q - 模范畴的性质
WBR0-代数的正则性及与其他逻辑代数的 关系
WBR0-代数的两种弱化形式及其性质
Heyting系统及其H-空间化表示形式
Closure operators and closure systems on quantaloid-enriched categories
局部有限BL-代数的素逆演绎系统及性质
BL-代数的余零化算子及其BL同态像
区间集上非交换剩余格的属于ｆｕｚｚｙ滤子及其特征刻画
MTL-代数的Wejsberg形式及其应用
命题逻辑系统R0L中公式的г-真度及性质
BR0 代数中MT理想的扩展及素MT理想的存在性
强并半格中的C-滤子及其应用
模态逻辑系统Ｓ４中的度量结构
Z-Quantale的进一步结果
FI代数的理想
区间集上非交换剩余格的不属于ｆｕｚｚｙ滤子及其特征刻画
MTL-代数及其MP滤子型商代数的局部有限性
m-半格的模糊理想
序半群中的粗糙理想
WBR0-代数的Fuzzy蕴涵理想
W-代数偏序集及其性质
序半群上的S-拓扑
A duality between fuzzy domains and strongly completely distributive L-ordered sets
格中粗糙集的若干性质
Ｑｕａｎｔｉｃ 格中的素元及相关问题研究
模糊Domain上的模糊序同态及其性质
Lukasiewicz命题逻辑中公式的г-真度和极限定理
Two Cartesian closed subcategories of fuzzy domains
Characterizations of endomorphic nuclei on R0-Algebras (Nilpotent Minimum Algebras)
推理闭包子空间的基本性质及其交并运算
Algebras with compatible quantale-enriched structures
R0-蕴涵算子所导出的逻辑函数的特征
MTL-代数的演绎系统和余零化子及其相互关系
BL-代数的一种弱化形式
IMTL逻辑代数的一种新强化形式
WBR0-代数的Pt-模表示和Ps模表示
基于正则FI代数的MT理想及其应用
Quantale的上粗理想
Quantic格的模糊理想
Quantale系统的空间化和Q-Locale化
L- 抽象基与模糊 Round理想完备化
模糊完备格上的模糊同余关系
Quantale上的Localic核与Localic余核映射
SWBR0-代数的蕴涵理想及其诱导的商代数
Lukasiewicz命题逻辑系统中真度的等价定义及相关性质
2n-值布尔逻辑-2-值布尔逻辑的自然推广
Join-completions of L-ordered sets
Quantic格中的理想和理想余闭包算子
相容半连续Domain
Heyting系统及其H-Locale化形式
关于命题逻辑系统中相似度性质的修订
模糊Quantale范畴的性质
BL-代数的余零化算子及其 BL 同态像
区间集上非交换剩余格〈∈,∈∪Q〉-Fuzzy滤子的特征刻画
SWBRo-代数的蕴涵理想及其诱导的商代数
m-半格的粗糙模糊理想
模糊Quantale范畴中的投射对象
MTL代数的Wajsberg形式及其应用
IMTL逻辑系统的一种新扩张形式
局部有限 BL-代数的素逆演绎系统及性质
WBR_0-代数的正则性及与其他逻辑代数的关系
相容拟半连续Domain和相容交半连续Domain
MTL代数及由其MP滤子型商代数的局部有限性
2^n-布尔值逻辑：2-值命题逻辑的自然推广
关于命题逻辑系统中相似度性质的修正
L-抽象基与模糊Round理想完备化
Quantale模核映射与余核映射的关系
BR0代数中的＊理想及其诱导的商代数
命题逻辑系统R0L3n＋1中公式的Γ-真度及性质