×
马图舍克，米兰;帕维尔·普塔克

生成元少的正交补差分格。 （英语） Zbl 1221.06011号

凯贝内提卡 47，第1期，60-73（2011）.
在[M.Matoušek先生，“具有对称差的正交补格”，代数大学。60，第2期，185-215页（2009年；Zbl 1186.06004号)]引入了正交补差分格（ODL）。ODL是具有对称差分运算的正交模格，其不是定义为格多项式，而是定义为具有推广布尔代数上相应运算的性质的附加二元运算。ODL形式多样。在这里，作者研究了这类自由代数和集合表示问题。（ODL称为可显示的集合如果它与具有对称差的集合集同构。）它们描述了带有（2）生成器的自由ODL（这是有限的和集可表示的），并给出了带有（3）生成器的ODL的一个示例，该ODL不可集可表示。这种结构巧妙地利用了哥德尔的编码。
审核人：米尔科·纳瓦拉（普拉哈）

引用于三文件

理学硕士：

06第15页 补格、正交补格和偏序集
03G12号机组 量子逻辑
08B20号 自由代数
81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面）

关键词：

正交模格;量子逻辑;对称差分;布尔代数;自由代数;正交补差分格

引文：

Zbl 1186.06004号
PDF格式BibTeX公司 XML格式引用
\textit{M.Matoušek}和\textit{P.Pták}，Kybernetika 47，No.1，60-73（2011；Zbl 1221.06011）
全文： 欧洲DML 链接

参考文献：

[1] Beran，L.：正交模格，代数方法。D.Reidel，Dordrecht，1985年·Zbl 0558.06008号
[2] Bruns，G.，Harding，J.：正交模格的代数方面。《操作量子逻辑的当前研究》（B.Coecke、D.Moore和A.Wilce，Kluwer学术出版社，2000年，第37-65页·Zbl 0955.06003号
[3] Burris，S.，Sankappanavar，H.P.：普适代数课程。施普林格·弗拉格，纽约，1981年·Zbl 0478.08001号
[4] Chiara，M.L.Dalla，Giuntini，R.，Greechie，R.：量子理论中的推理：清晰和非清晰的量子逻辑。Kluwer学术出版社，Dordrecht，Boston，London，2004年·Zbl 1059.81003号
[5] Dorfer，G.，Dvurečenskij，A.，Länger，H.M.：正交模格中的对称差分。数学。《斯洛伐克》46（1996），435-444·Zbl 0890.06006号
[6] Dorfer，G.：正交模格中的非交换对称差异。国际。J.理论。物理学。44 (2005), 885-896. ·Zbl 1119.06303号 ·doi:10.1007/s10773-005-7066-7
[7] Dvurečenskij，A.，Pulmannová，S.：量子结构的新趋势。Kluwer学院。出版物。，Dordrecht和Ister Science，布拉迪斯拉发，2000年·Zbl 0987.81005号
[8] Godowski，R.，Greechie，R.J.：与正交模格上的状态相关的一些方程。演示数学。十七（1984），1241-250·兹伯利0553.06013
[9] Greechie，R.J.：正交模格不承认任何状态。J.组合。理论10（1971），119-132·Zbl 0219.06007号 ·doi:10.1016/0097-3165（71）90015-X
[10] Engesser，K.，Gabbay，D.M.，D.Lehmann：《量子逻辑和量子结构手册》。爱思唯尔2007·Zbl 1119.81005号
[11] Havlík，F.：Ortocomplementárnídiferenčnísvazy（捷克语）。
[12] Kalmbach，G.：正交模格。学术出版社，伦敦，1983年·Zbl 0528.06012
[13] Matoušek，M.：具有对称差的正交补格。《代数普遍》60（2009），185-215·Zbl 1186.06004号 ·doi:10.1007/s00012-009-2105-5
[14] Matoušek，M.，Pták，P.：具有对称差异的正交补偏序集。第26号命令（2009年），1-21·Zbl 1201.06006号 ·doi:10.1007/s11083-008-9102-8
[15] Matoušek，M.，Pták，P.：关于正交补差分格中的恒等式。数学。Slovaca 60（2010），5583-590·Zbl 1249.06025号 ·doi:10.2478/s12175-010-0033-7
[16] Matoušek，M.，Pták，P.：正交模格和（Z_2）值态上的对称差。注释。数学。卡罗琳大学。50 (2009), 4, 535-547. ·Zbl 1212.06021号
[17] Navara，M.，Pták，P.：几乎布尔正交模偏序集。J.纯应用。《代数》60（1989），105-111·Zbl 0691.03045号 ·doi:10.1016/0022-4049（89）90108-4
[18] Park，E.，Kim，M.M.，Chung，J.Y.：关于正交模格的对称差的一个注记。Commun公司。韩国数学。《社会分类》第18卷（2003年），第2207-214页·Zbl 1101.06301号 ·doi:10.4134/CKMS.2003.18.2.2007
[19] Pták，P.，Pulmannová，S.：作为量子逻辑的正交模结构。Kluwer学术出版社，多德雷赫特，波士顿，伦敦，1991年·Zbl 0743.03039号
[20] Watanabe，S.：基于广义连续特征函数修改了逻辑、概率和积分的概念。通知。和控制2（1969），1-21·Zbl 0205.00801号 ·doi:10.1016/S0019-9958（69）90581-6
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。