帕维尔·普塔克 布尔代数和逻辑的求和。 (英语) 兹比尔0647.03055 Demonstr公司。数学。 19, 349-357 (1986). 这里考虑的问题是“组合”或“求和”两个逻辑K和M,例如,如果每个逻辑都与一个独立的实验相关。本文将逻辑L看作是一个正交模偏序集,并将注意力局限于两个逻辑之一是布尔逻辑的特殊情况。作者根据嵌入(B到L)、(L_1到L)的存在性定义了逻辑布尔代数B的和L,它保持了B和(L_1.)上“状态”的结构,即二价态射在介绍了定义具有正交模偏序集的布尔代数和所需的所有术语之后,用这种方法给出了证明这种和的构造定理的证明。在(L_1)也是布尔值的情况下,这个和与布尔乘积的概念一致,布尔乘积是以一种不使用集合理论术语的方式定义的。审核人:R.华莱士花园 引用于三评论引用于11文件 MSC公司: 03G12号机组 量子逻辑 第81页第10页 量子力学的逻辑基础;量子逻辑(量子理论方面) 03G10年 格和相关结构的逻辑方面 03克05 布尔代数的逻辑方面 关键词:点阵和;逻辑和;具有正交模偏序集的布尔代数的和;布尔乘积 PDF格式BibTeX公司 XML格式引用 \textit{P.Pták},恶魔。数学。19、349--357(1986年;Zbl 0647.03055)