Gary M.Hardegree。 正交模量子逻辑公理系统。 （英语） Zbl 0476.03059号 螺柱日志。 40, 1-12 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于5文件 MSC公司： 03G12号机组 量子逻辑 03C35号 理论的范畴性和完整性 第81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 03B60号 其他非经典逻辑 关键词：逻辑矩阵;正交模逻辑;条件连接词;佐佐木箭头;正交模有效公式的公理演算;Lindenbaum-Tarski代数 PDF格式BibTeX公司 XML格式引用 \textit{G.M.Hardegree}，螺柱日志。40、1-12（1981年；Zbl 0476.03059） 全文： 内政部 参考文献： [1] J.C.Abbott，《正交蕴涵代数》，Studia，Logica 35（1976），第173-77页·Zbl 0331.02036号 ·doi:10.1007/BF02120879 [2] A.R.Anderson和N。D.Belnap，《Entailment vol.I》，普林斯顿大学出版社，普林斯顿1975年。 [3] G.Birkhoff，格点理论，美国数学学会学术讨论会出版物，普罗维登斯1967年。 [4] G.Birkhoff和J。冯·诺依曼（Von Neumann），《量子力学逻辑数学年鉴》37（1936），第823-43页·doi:10.2307/1968621 [5] T.S.Blyth和M。F.Janowitz，《居留理论》，佩加蒙出版社，牛津，1972年。 [6] I.D.Clark，《量子逻辑的公理化》，《符号逻辑杂志》38（1973），第389-92页·Zbl 0276.020155号 ·doi:10.2307/2273030 [7] J.M.Dunn，《R的代数》，《蕴涵》，第一卷，普林斯顿大学出版社，普林斯顿1975年，第349-71页。 [8] P.D.Finch，Sasaki对正补偏序集的投影，澳大利亚数学学会公报1（1969年），第319-24页·Zbl 0176.28501号 ·doi:10.1017/S0004972700042192 [9] –，《量子逻辑作为蕴涵代数》，同上，2（1970），第101–6页·Zbl 0179.01201号 ·doi:10.1017/S0004972700041642 [10] R.I.Goldblatt，《直系逻辑的语义分析》，《哲学逻辑杂志》第3期（1974年），第19-35页·Zbl 0278.02023号 ·doi:10.1007/BF00652069 [11] R.J.Greechie和S。P.Gudder，《量子逻辑》，载于C.A.Hooker（编辑），《量子理论基础和哲学的当代研究》，D.Reidel，Dordrecht 1973年·Zbl 0279.02015 [12] 黑客，为什么正交模量子逻辑是逻辑，未发表的手稿·Zbl 0816.03002号 [13] G.M.Hardegree，《量子逻辑中的条件》，Synthese 29（1974），第63–80页，再版于P.A.Suppes（ed.）logic and Probability in quantum Mechanics D.Reidel，Dordrecht 1976，第55–72页·兹伯利0361.02039 ·doi:10.1007/BF00484952 [14] –，《准简化格与量子力学逻辑》，Zeitschrift für Naturforschung 30a（1975），第1347–60页。 [15] –，Stalnaker条件句和量子逻辑，《哲学逻辑杂志》第4期（1975年），第399-421页·兹比尔0357.02024 ·doi:10.1007/BF00558757 [16] -《正交模（和布尔）格中的物质蕴涵》，《圣母院形式逻辑杂志》出版。 [17] -《拟简化代数》，第一部分：初等理论，第二部分：结构理论，代数普遍性，出版。 [18] –，《抽象和具体量子逻辑中的条件逻辑》，C.A.Hooker（ed.）《量子力学的逻辑代数方法》，第2卷，D.Reidel，Dordrecht 1979年，第49–108页。 [19] -公理化这类正交模量子逻辑有效参数。 [20] L.Herman、E.Marsden和R。Piziak，正交模格中的蕴涵连接词，《圣母院形式逻辑杂志》16（1975），第305-28页·doi:10.1305/ndjfl/1093891789 [21] L.赫尔曼和R。皮齐亚克，基于正交模的模态命题逻辑，《符号逻辑杂志》39（1974），第478-88页·Zbl 0301.02023号 ·doi:10.2307/2272890 [22] S.S.Holland，《当前对正交模格的兴趣》，J.C.Abbott（编辑），《格理论趋势》，Van Nostrand Reinhold，纽约，1970年·Zbl 0192.33601号 [23] G.Kalmbach，正交模逻辑，Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 20（1974），第395-406页·Zbl 0373.02030号 ·doi:10.1002/malq.19740202504 [24] R.J.Kimble，正交简化代数，美国数学学会通告16（1969），第772页。 [25] J.Kotas，《模块逻辑的公理系统》，Studia Logica 21（1967），第17-38页·Zbl 0333.02023号 ·doi:10.1007/BF02123412 [26] H.Kunsemüller，Zur axiomatik der quantenlogik，《自然哲学8》（1964），第363-76页。 [27] P.Mittelstaedt，《关于将Hubert空间的子空间格解释为介词演算》，Zeitschrift für Naturforschung 27a（1972），pp，1358-62。 [28] P.Mittelstaedt和E。W.Stachow，量子逻辑的操作基础。物理学基础4（1974），第355-65页·doi:10.1007/BF00708541 [29] R.Piziak，作为蕴涵代数的正交模格，《哲学逻辑杂志》3（1974），第413-18页·Zbl 0294.06006号 ·doi:10.1007/BF00257483 [30] U.Sasaki，满足交换公理的正交补格，广岛大学科学杂志17a（1954），第293–302页·Zbl 0055.25902号 [31] B.C.van Fraassen，《形式语义和逻辑》，麦克米伦出版社，纽约，1971年·兹比尔0253.02002 [32] J.Von Neumann，《量子力学的数学基础》，Tr.R.T.Beyer，普林斯顿大学出版社，1955年·Zbl 0064.21503号 [33] J.J.Zeman，《隐含的量子逻辑》，《圣母院形式逻辑杂志》20（1979），第723-728页·兹伯利0426.03066 ·doi:10.1305/ndjfl/1093882792 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。