期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到6篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Boolean代数与减法代数
1
作者 贺品品 《陕西师范大学学报（自然科学版）》 CAS CSCD 1996年第4期17-20,共4页
根据集合代数的研究引入了减法代数的概念．证明了任一Ｂｏｏｌｅａｎ代数等价于一个具有一个二元代数运算，且仅可由四个方程式定义的减法代数系统〈Ｘ；－，０，１〉
关键词 减法代数 偏序集 格 布尔代数
在线阅读 下载PDF
定义在偏序集上的布尔代数
2
作者 刘淼 吕明富 《喀什师范学院学报》 2007年第3期14-15,共2页
利用偏序集的有关概念给出了与传统的布尔代数的定义相等价的偏序式的布尔代数.
关键词 偏序集 确界 格 布尔代数.
在线阅读 下载PDF
程序控制结构的偏加语义
3
作者 游梦良 李师贤 《中山大学学报论丛》 1996年第6期92-99,共8页
介绍程序控制结构的偏加语义．首先对程序语言的结构（包括顺序、条件、循环等）进行函数化，然后引出程序语义的描述工具——偏加范畴。
关键词 范畴 积与并积 偏加范畴 卫哨布尔代数 断言语义
在线阅读 下载PDF
布尔代数的一个等价性定义的证明
4
作者 庄云标 《台州学院学报》 2009年第3期15-18,共4页
证明了布尔代数等价于一个只有二元部分运算的代数系统。
关键词 布尔代数 部分运算 等价
在线阅读 下载PDF
普特南量子逻辑思想的演变
5
作者 王伟长 《自然辩证法研究》 CSSCI 北大核心 2022年第3期101-107,共7页
普特南曾提出“逻辑是经验的”这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子力学也意味着量子逻辑才是隐藏在经典逻辑背后的“真逻辑”。然而鲜为人知的是,普特南口中的“量子逻辑... 普特南曾提出“逻辑是经验的”这一惊世骇俗的论题。他主张,正如广义相对论揭示出非欧几何才是真正描述现实世界的几何学一样,量子力学也意味着量子逻辑才是隐藏在经典逻辑背后的“真逻辑”。然而鲜为人知的是,普特南口中的“量子逻辑”这一概念曾经历过重大的转变。但是概念的修正并没有帮助普特南成功地论证量子力学命题真值的实在性,并且他最后也不得不承认非欧几何与量子逻辑的类比是不妥当的。应该说,普特南的工作确实说明量子逻辑可以提供同样好的量子力学解释,不逊色于保留经典逻辑的解释;但量子逻辑并不是唯一的“真逻辑”,无论是否局限在量子逻辑的范围内,围绕着量子力学解释的逻辑系统都是支持着逻辑多元主义的。 展开更多
关键词 量子逻辑 量子力学 正交模格 偏布尔代数 逻辑多元主义
原文传递
关于Robbins代数与Heyting代数的类似性质
6
作者 王先清 孙厚雄 《数学杂志》 CSCD 北大核心 1996年第2期224-226,共3页
Ｓ．Ｗｉｎｋｅｒ在文［１］中给出了Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的一个较弱的条件．本文将讨论Ｈｅｙｔｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件，我们发现Ｈｅｙｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件与Ｒｏｂｂｉｎ... Ｓ．Ｗｉｎｋｅｒ在文［１］中给出了Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的一个较弱的条件．本文将讨论Ｈｅｙｔｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件，我们发现Ｈｅｙｉｎｇ代数成为Ｂｏｏｌｅａｎ代数的条件与Ｒｏｂｂｉｎｓ代数成为Ｂｏｏｌｅａｎ代数的条件相似，从而揭示了Ｈｅｙｔｉｎｇ代数与Ｒｏｂｂｉｎｓ代数之间具有一定的关系． 展开更多
关键词 偏序集 Robbins代数 HEYTING代数 布尔代数
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部