位置：成果数据库 > 期刊 > 期刊详情页
2^n-布尔值逻辑：2-值命题逻辑的自然推广
  • ISSN号：1001-7402
  • 期刊名称：《模糊系统与数学》
  • 时间：0
  • 分类：O141[理学—数学;理学—基础数学]
  • 作者机构：[1]陕西师范大学数学与信息科学学院,陕西西安710062
  • 相关基金：国家自然科学基金质助项目（11171196）
作者： 周建仁[1], 吴洪博[1]
关键词： 命题逻辑, 布尔代数, 2n-布尔值逻辑, 应用, Propositional Calculus, Boolean Algeba, 2^n-Boolean Valued Logic, Applications
中文摘要：

将2-值命题逻辑的语义理论推广到了有限布尔代数，得到了2^n-布尔值命题逻辑。同时本文给出了2^n-布尔值命题逻辑应用的一些例子。

英文摘要：

By expanding the semantics of 2-valued propositional logic to finite 2^n-Boolean valued propositional logic is obtained. Some examples of application propositional logic are given in the present paper. Boolean algebras, of 2^n-Boolean valued propositional logic are given in the present paper.

同期刊论文项目
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同态像
区间集上非交换剩余格的属于ｆｕｚｚｙ滤子及其特征刻画
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滤子型商代数的局部有限性
关于命题逻辑系统中相似度性质的修正
L-抽象基与模糊Round理想完备化
Quantale模核映射与余核映射的关系
BR0代数中的＊理想及其诱导的商代数
命题逻辑系统R0L3n＋1中公式的Γ-真度及性质
期刊信息
  • 《模糊系统与数学》
  • 中国科技核心期刊
  • 主管单位:国防科技大学
  • 主办单位:国防科技大学理学院 国防科技大学理学院
  • 主编：刘应明
  • 地址：湖南长沙国防科技大学理学院
  • 邮编：410073
  • 邮箱：fuzzysys@cfsm.cn
  • 电话：0731-84576220
  • 国际标准刊号：ISSN：1001-7402
  • 国内统一刊号：ISSN：43-1179/O1
  • 邮发代号:42-180
  • 获奖情况:
  • 美国《数学评论》（Mathematical Reviews）核心引...,中国科技论文统计源期刊,《中国科学引文数据库》来源期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,德国数学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）
  • 被引量:8133