删除或更新信息，请邮件至freekaoyan#163.com(#换成@)

Heyting代数的布尔原子及其应用

本站小编 Free考研考试/2022-02-06

Heyting代数的布尔原子及其应用

赵马盼,樊丰丽,颉永建*
陕西师范大学数学与信息科学学院, 陕西 西安 710062
发布日期:2020-05-06

作者简介:赵马盼(1997— ), 女, 硕士研究生, 研究方向为量子逻辑. E-mail:1151034980@qq.com *通信作者简介:颉永建(1978— ), 男, 副教授, 硕士生导师, 研究方向为量子逻辑. E-mail:yjxie@snnu.edu.cn
基金资助:国家自然科学基金资助项目(61673250);陕西省自然科学基础研究计划(2020JM-274);中央高校基本科研业务费重点项目(GK201902004)

Boolean atoms of Heyting algebras and their application

ZHAO Ma-pan, FAN Feng-li, XIE Yong-jian*
School of Mathematics and Information Science, Shaanxi Normal University, Xian 710062, Shaanxi, China
Published:2020-05-06







摘要/Abstract


摘要： 利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。


PDF全文下载地址:

http://lxbwk.njournal.sdu.edu.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=3275
相关话题/代数 逻辑 硕士生导师 陕西师范大学 数学与信息科学学院
  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...
    考试优惠券 本站小编 Free壹佰分学习网 2022-09-19
  • 群分次Hopf代数的第一基本定理与Long dimodules
    群分次Hopf代数的第一基本定理与Longdimodules史国栋东南大学数学学院,江苏南京211189发布日期:2020-04-09作者简介:史国栋(1987—),男,博士研究生,研究方向为Hopf代数与紧量子群.E-mail:230169403@seu.edu.cn基金资助:国家自然科学基金资助 ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 3-莱布尼兹代数及其Rota-Baxter算子的构造
    3-莱布尼兹代数及其Rota-Baxter算子的构造李芳淑,李林涵,张良云*南京农业大学理学院,江苏南京210095发布日期:2020-04-09作者简介:李芳淑(1993—),女,硕士研究生,研究方向为Hopf代数.E-mail:908632155@qq.com*通信作者简介:张良云(1964—) ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 一类Auslander代数的倾斜模的个数
    一类Auslander代数的倾斜模的个数昝立博1,张孝金2*1.南京信息工程大学数学与统计学院,江苏南京210044;2.江苏师范大学数学与统计学院,江苏徐州221116发布日期:2020-04-09作者简介:昝立博(1978—),女,博士,研究方向为环与代数.E-mail:zanlibo@nuis ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 九维Taft代数上lazy 2-上闭链
    九维Taft代数上lazy2-上闭链陈晨1,高营营2,陈惠香1*1.扬州大学数学科学学院,江苏扬州225002;2.宿迁市苏州外国语学校,江苏宿迁233800发布日期:2020-02-14作者简介:陈晨(1995—),男,硕士研究生,研究方向为代数学.E-mail:836027736@qq.com* ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 模态代数的主同余
    模态代数的主同余曹发生,肖方贵州民族大学认知科学系,贵州贵阳550025发布日期:2020-02-14作者简介:曹发生(1977—),男,博士,副教授,研究方向为代数.E-mail:caofas@21cn.com基金资助:国家自然科学基金资助项目(11661046)Principalcongruen ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 广义Pythagorean模糊软集的代数结构
    广义Pythagorean模糊软集的代数结构张海东1,2*,加华多杰2,贺艳平3西北民族大学1.中国民族语言文字信息技术教育部重点实验室;2.数学与计算机科学学院;3.电气工程学院,甘肃兰州730030发布日期:2020-01-10作者简介:张海东(1980—),男,博士,副教授,研究方向为不确定性 ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 三角代数上Lie积为平方零元的非线性Jordan高阶可导映射
    三角代数上Lie积为平方零元的非线性Jordan高阶可导映射费秀海1,戴磊2,朱国卫11.滇西科技师范学院数理学院,云南临沧677099;2.渭南师范学院数学与统计学院,陕西渭南714099发布日期:2019-12-11作者简介:费秀海(1980—),男,博士,副教授,研究方向为算子代数与算子理论. ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • *-代数上强保持新积的映射
    *-代数上强保持新积的映射张芳娟西安邮电大学理学院,陕西西安710121发布日期:2019-12-11作者简介:张芳娟(1976—),女,博士,副教授,研究方向为算子代数.E-mail:zhfj888@126.com基金资助:国家自然科学基金资助项目(11601420);陕西省自然科学基础研究计划资 ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 基于MV-代数的度量型模糊粗糙集
    基于MV-代数的度量型模糊粗糙集熊兴国1,路玲霞2*1.河北地质大学社会科学部,河北石家庄050031;2.南京信息工程大学数学与统计学院,江苏南京210044发布日期:2019-11-06作者简介:熊兴国(1977—),女,硕士,讲师,研究方向为辩证逻辑.E-mail:xxgxiongxinggu ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06
  • 三角代数上互逆元处的高阶ξ-Lie可导映射
    三角代数上互逆元处的高阶ξ-Lie可导映射张霞,张建华*陕西师范大学数学与信息科学学院,陕西西安710062发布日期:2019-10-12作者简介:张霞(1993—),女,硕士研究生,研究方向为算子代数.E-mail:15529091178@163.com*通信作者简介:张建华(1965—),男,博 ...
    山东大学科研学术 本站小编 Free考研考试 2022-02-06

Free考研考试FreeKaoYan.Com
欢迎来到Free考研考试，"为实现人生的Free而奋斗"

© 2020 FreeKaoYan! . All rights reserved.