位置：成果数据库 > 期刊 > 期刊详情页
关于Boole语义的真度不变性定理
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：O159[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,陕西西安710062, [2]宝鸡文理学院数学系,陕西宝鸡721013
  • 相关基金：国家自然科学基金重点资助项目（10331010）
作者： 段景瑶[1,2], 王国俊[1]
关键词： B-赋值, B-真度, Boole函数, K级元, BOOLE代数, B-valuation, B-thruth Degree, Boolean Semantics, k-rank Element , Boolean Algebra
中文摘要：

基于B-赋值理论，在B为有限Boole代数的前提下，得出了三个主要结论。首先，讨论了广义Boole函数与Boole函数之间的关系。其次，得出了在有限Boole语义理论意义下的真度不变性定理。最后给出了经典逻辑系统关于有限Boole语义的完备性定理。

英文摘要：

Based on B-valuation theory, when B is finite Boolean algebra, we have three main results. Firstly, the relation between Boolean function and generalized Boolean function is discussed. Moreover, we yield the theorem about invariable properties of thruth degree. Lastly, we get the completion theorem about finite Boolean semantics.

同期刊论文项目
序、拓扑及形式语义学的数学基础
期刊论文 202 会议论文 2 著作 1
同项目期刊论文
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格
几种逻辑系统中的近似推理理论
全蕴涵多Ⅰ算法及其在多准则决策中的应用
强代数格的拓扑表示定理
效应代数中的模糊滤子
修正的Product逻辑系统中的广义矛盾式
平移空间的线性结构
拟Z-极小集及其应用
二值逻辑中命题的条件真度理论
超连续Domain与拟超连续Domian
几类基于L＊上二元聚合算子的蕴涵
广义完全极小集及其应用
Z-连续Domain关于Z-子空间的遗传性
一致连续偏序集的特征和浓度
n元三值函数可由L3^＊中公式导出的充要条件
一类Lukasiewicz n＋1值逻辑系统中VDF问题的求解理论
系统Hα中的子代数的广义重言式理论
拓扑系统的子系统
基于模糊推理方法的企业预警模型
二值命题逻辑中的三种Г近似推理模式及其等价性
多值命题逻辑中逻辑理论的拓扑刻画
三Ⅰ方法综述——它的提出、发展、应用和逻辑版本
关于三I FMT问题的若干注记
四种命题逻辑中公式的相对Γ-重言度理论
关于一致连续偏序集的若干性质
Z-连通连续偏序集的权的一些性质
基于支持度理论的广义Modus Ponens问题的最优解
剩余格中的Fuzzy（P）滤子
IL型三I算法及其还原性
Lukasiewicz命题逻辑系统中的赋值决定公式问题
n值Lkasiewicz命题逻辑中命题的α-真度理论
余剩余格的理想和嵌入定理
二值命题逻辑中理论的发散性、相容性及其拓扑刻画
拟Z-连续domain和Z-交连续domain
广义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代数的性质及其滤子与理想
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133