可换BR₀-代数在一般集合上的蕴涵表示形式

刘春辉

赤峰学院数学与统计学院, 内蒙古 赤峰 024001

收稿日期:2018-01-20出版日期:2018-06-20发布日期:2018-06-13

作者简介:刘春辉(1982— ),男,硕士,副教授,研究方向为非经典数理逻辑、Domain理论与拓扑学. E-mail: chunhuiliu1982@163.com
基金资助:内蒙古自治区高等学校科学资助项目(NJSY14283,NJZY18206)

Representative forms of commutative BR₀-algebras on a set by implication operator

Department of Mathematics and Statistics, Chifeng University, Chifeng 024001, Inner Mongolia, China

Received:2018-01-20Online:2018-06-20Published:2018-06-13

摘要/Abstract

摘要： 基于对可换BR₀-代数的定义和性质的深入研究和分析, 放弃对格的要求, 在一般集合上以蕴涵算子为基本算子给出了可换BR₀-代数的几种等价表示形式。 进一步简化了可换BR₀-代数的定义形式, 使其在形式上更加突出逻辑代数的一般特征及其与其它逻辑代数间的联系和区别。 为揭示可换BR₀-代数的特征及其与其它逻辑代数间的关系提供了依据。


PDF全文下载地址:

http://lxbwk.njournal.sdu.edu.cn/CN/article/downloadArticleFile.do?attachType=PDF&id=2974