欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
FI代数的理想
ISSN号:1000-274X
期刊名称:西北大学学报(自然科学版)
时间:2015
页码:877-880
相关项目:Domain与Quantale理论的模糊化研究
作者:
吴苏朋|赵彬|
同期刊论文项目
Domain与Quantale理论的模糊化研究
期刊论文 87
会议论文 8
同项目期刊论文
模糊半连续格的性质
剩余偏序集及其与FI代数的关系
基于剩余格的一类度量空间及性质
计量逻辑中真度的均值表示形式及应用
对合左Q - 模范畴的性质
WBR0-代数的正则性及与其他逻辑代数的 关系
WBR0-代数的两种弱化形式及其性质
Heyting系统及其H-空间化表示形式
Cartesian closed categories of FZ-domains
Closure operators and closure systems on quantaloid-enriched categories
局部有限BL-代数的素逆演绎系统及性质
BL-代数的余零化算子及其BL同态像
区间集上非交换剩余格的属于fuzzy滤子及其特征刻画
MTL-代数的Wejsberg形式及其应用
命题逻辑系统R0L中公式的г-真度及性质
BR0 代数中MT理想的扩展及素MT理想的存在性
强并半格中的C-滤子及其应用
模态逻辑系统S4中的度量结构
Z-Quantale的进一步结果
区间集上非交换剩余格的不属于fuzzy滤子及其特征刻画
MTL-代数及其MP滤子型商代数的局部有限性
m-半格的模糊理想
序半群中的粗糙理想
WBR0-代数的Fuzzy蕴涵理想
W-代数偏序集及其性质
序半群上的S-拓扑
A duality between fuzzy domains and strongly completely distributive L-ordered sets
格中粗糙集的若干性质
Quantic 格中的素元及相关问题研究
模糊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中公式的Γ-真度及性质
期刊信息
《西北大学学报:自然科学网络版》
主管单位:
主办单位:
主编:姚运
地址:西安市太白北路299号
邮编:710069
邮箱:
电话:029-88303833
国际标准刊号:ISSN:1000-274X
国内统一刊号:ISSN:61-1072/N
邮发代号:
获奖情况:
国内外数据库收录:
被引量:16