位置：成果数据库 > 期刊 > 期刊详情页
拟Z-连续domain和Z-交连续domain
  • ISSN号：0583-1431
  • 期刊名称：《数学学报》
  • 时间：0
  • 分类：O153.1[理学—数学;理学—基础数学]
  • 作者机构：[1]四川大学数学科学学院,成都610064//江西师范大学数学系,南昌330027, [2]四川大学数学科学学院,成都610064, [3]哈尔滨工业大学应用数学系,哈尔滨150001
  • 相关基金：国家自然科学基金(19831040,10331010)教育部博士点基金江西省主要学科新世纪学术带头人培养基金江西省自然科学基金资助项目
作者： 徐晓泉[1], 罗懋康[2], 黄艳[3]
关键词： Rudin子集系统, 拟Z-连续domain, Z-交连续domain
中文摘要：

对一般子集系统Z，引入了Rudin性质、拟Z-连续domain及Z-交连续domain的概念，讨论了它们的基本性质．特别是Z-连续性、拟Z-连续性、Z-交连续性和Z—Lawson拓扑之T2性之间的相互关系．证明了当子集系统Z满足一定条件时，拟Z-连续domain P上的Z—way below关系Z具有插入性质，P上的Z-Lawson拓扑λz(P)是T2的，且P可用Z-Lawson同态嵌入到某方体之中．文中给出了一个domain P，其上的Lawson拓扑λ(P)是T2的，但P不是拟连续性domain．

同期刊论文项目
序、拓扑及形式语义学的数学基础
期刊论文 202 会议论文 2 著作 1
格上拓扑与非经典数理逻辑
期刊论文 6
同项目期刊论文
Subsystems of a topological sy
A note on implicators based on
Quantum finite automata and qu
Comparison of deduction theore
Lukasiewicz 命题集的积分真度、
IL型三I 算法及其还原性
几类n值逻辑系统中的MP滤子
拟连续Domain上的扩张定理
概率逻辑学基本定理的推广
二值命题逻辑中理论的发散性、相
四种命题逻辑中公式的相对Γ－重
几个三值命题逻辑系统中命题真度
一类二值谓词逻辑中公式的准真度
HC-偏序集的若干性质
Hausdorff拓扑与Scott拓扑的对偶
有限偏序集的Cartesian积的收缩
局部强紧空间的Hoare空间与Smyth空间
z-代数偏序集的范畴特征
关于拟连续Domain的一个注记
广义完全分配偏序集的若干性质
强Raney偏序集
正则关系与正规空间
半连续格和半代数格的映射性质
An intrinsic fuzzy set on the
Several classes of implication
正则关系与完全正则空间
计量逻辑学 (I)
三I算法的统一形式
Lukasiewicz 命题逻辑系统中的赋
无前提规范闭缺省理论的扩充的构
命题逻辑中的程度化方法
基于种群分类解决遗传算法的“早
开滤子Domain的分配性
实时半盲非线性均衡算法：N-伪递
W的正规子Ro-代数及其应用
L-Fuzzy 拓扑空间中的 l- 聚点和
Ro-代数[0，1]的子代数与广义重
紧Hausdorff测度空间上的Riemann
模糊测度Shapley熵的完备化
函数空间连续性的一个注记
关于混合Domain的几个问题
关于积Domain上的Scott拓扑和连
FMP问题的构造性方法
locale的弱拓扑表达
命题逻辑中极大和谐理论之集上的
系统Hα中广义语义MP规则与广义
基于正则蕴涵算子的三I算法的性
Boole代数上的度量结构及其在命
F(S)在Lukasiewicz逻辑系统中的
一阶逻辑完备性定理的新代数证明
拟Z-连续Domain与Z-交连续Domain
伪度量L*- - Lindenbaum代数中基
G?del n 值命题逻辑中命题的α－
A note on stratified L-real li
Z-拟代数Domain
Fuzzy实直线上级数的绝对收敛性
平移空间上的线型结构
广义(超连续格的关系表示
拟Z-代数domain
根与F(S)中的近似推理
Multi-criteria decision-making
Order environments of topologi
命题演算系统L*与谓词演算系统K*
Lukasiewicz n 值命题逻辑中公式
基于正则蕴涵算子与强否定的支持
命题公式集F(S)的基于Ro—算子的
Priestley Spaces, Quasi-hypera
Completely regular paracompact
Maximum density for the Sierpi
经典推理模式的随机化研究及其应
概率逻辑伪度量空间及其性质
半连续格上的半Scott拓扑和半Law
A fuzzy approach for blind equ
An equivalence relation charac
Quasicontinuous domains and ge
A topological characterization
A new consistency index based
Generalized consistency degree
超连续Domain与拟超连续Domain
基于双参数可变阈值的雷达脉冲分
关于三 I FMT 问题的若干注记
三 I 方法综述－它的提出、发展
一阶谓词模糊公式的区间解释真度
Unified forms of Triple I meth
Regular relations and strictly
Regular relations and monotone
完备格的关系表示定理及其应用
论G?del 蕴涵算子不宜于用于建立
Lattices of quotients of compl
Consistency degrees of finite
Unified forms of fully implica
Characterizations of maximal c
Residuated lattices and lattic
A 16-classification partition
一种求概念格属性约简的方法
Convex power domain and Vietor
Formalized theory of general f
Endographic approach on suprem
从事实逻辑到任务逻辑
Ro-代数的Fuzzy MP滤子
Remarks on Completely Regular
Regular relations and complete
拟连续Domain的若干拓扑性质
Regular relations and normalit
基础Ro－代数的正规MP滤子和布尔
二值命题逻辑中命题的条件真度理
概念格属性约简的判定
一类Lukasiewicz n+1 值逻辑系统
Consistency degrees of theorie
多值逻辑系统Wn中 (- - 三I问题
累积缺省逻辑的扩充
扩充与缺省规则的简化和分类
弱空间式locale
广义Frame
RL型蕴涵与Fuzzy推理的三I算法
Representability of default lo
Completion of the Shapley entr
A Constructive Proof of The Ge
Weinian Zhang, Discrete dynami
正则余剩余格的特征及其应用
n 值Lukasiewicz 命题逻辑中命题
Ro-代数的Ro-语义集上的拓扑
逻辑系统L*n 中命题的真度理论
Conic functions on metric spac
关于K的三种模糊模态逻辑
系统L^＊中极大相容理论的结构刻画和紧致性定理
经典推理模式的随机化研究及其应用（Ⅱ）
MV代数的度量化研究及其在Lukasiewicz命题逻辑中的应用
命题演算系统L~*中的Boole型理论
广义Smooth格
强Sober空间的若干性质
Smooth格和强Smooth格
Z-连通代数偏序集及其范畴
伪Scott拓扑与伪Scott开滤子
人工智能中缺省逻辑的可表示性
计量逻辑学（Ⅰ）
Z-半连续偏序集的性质
拟Z-连续Domain的基
广义λ完全分配格的关系表示
拟半连续格
Exact偏序集的乘积和映射性质
Z-连续偏序集的特征与稠密度
Z-极小集及其对Z-连续偏序集的应用
半Smooth格
几种逻辑系统中的近似推理理论
全蕴涵多Ⅰ算法及其在多准则决策中的应用
关于Lowen空间指数对象的一点注记
强代数格的拓扑表示定理
效应代数中的模糊滤子
修正的Product逻辑系统中的广义矛盾式
平移空间的线性结构
拟Z-极小集及其应用
二值逻辑中命题的条件真度理论
超连续Domain与拟超连续Domian
几类基于L＊上二元聚合算子的蕴涵
广义完全极小集及其应用
Z-连续Domain关于Z-子空间的遗传性
一致连续偏序集的特征和浓度
n元三值函数可由L3^＊中公式导出的充要条件
一类Lukasiewicz n＋1值逻辑系统中VDF问题的求解理论
系统Hα中的子代数的广义重言式理论
拓扑系统的子系统
基于模糊推理方法的企业预警模型
二值命题逻辑中的三种Г近似推理模式及其等价性
多值命题逻辑中逻辑理论的拓扑刻画
关于Boole语义的真度不变性定理
三Ⅰ方法综述——它的提出、发展、应用和逻辑版本
关于三I FMT问题的若干注记
四种命题逻辑中公式的相对Γ-重言度理论
关于一致连续偏序集的若干性质
Z-连通连续偏序集的权的一些性质
基于支持度理论的广义Modus Ponens问题的最优解
剩余格中的Fuzzy（P）滤子
IL型三I算法及其还原性
Lukasiewicz命题逻辑系统中的赋值决定公式问题
n值Lkasiewicz命题逻辑中命题的α-真度理论
余剩余格的理想和嵌入定理
二值命题逻辑中理论的发散性、相容性及其拓扑刻画
广义Frame的谱空间
A Remark on WaUman Compactification of Locales
双定向完备偏序集上的双Scott拓扑
Some Properties of Morphisms in Effect Algebras
Boole代数的等价刻画
二值命题逻辑F（S_n）中的基本推理链
F（Sn）中公式集Γ的全体结论之集D（Γ）的结构
二值命题逻辑F（Sn）在可证等价意义下的一般表示
Lukasiewicz命题集的积分真度、发散度与相容度的分布
缺省逻辑的Roos扩充
关于偏序集上的关联蕴涵代数
偏蕴涵代数
系统Ha中广义语义MP规则与广义语义HS规则
基于L^＊和Luk逻辑系统的反向三I算法的统一形式
NML代数的滤子及其结构
NML代数的性质及其滤子与理想
R0代数的Fuzzy MP滤子
Urysohn引理与弧连通完全分配格
映射与逆映射
关于FS—Domain的Plotkin幂—Domain
期刊信息
  • 《数学学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国科学院数学与系统科学研究院数学研究院
  • 主编：李炳仁
  • 地址：北京市海淀区中关村东路55号
  • 邮编：100080
  • 邮箱：Actamath@amss.ac.cn
  • 电话：010-62551910
  • 国际标准刊号：ISSN：0583-1431
  • 国内统一刊号：ISSN：11-2038/O1
  • 邮发代号:2-502
  • 获奖情况:
  • 1996年中科院优秀科技期刊二等奖,1997年全国优秀科技期刊二等奖,2000年中科院优秀科技期刊二等奖
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,荷兰文摘与引文数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:9981