诺里希罗·卡米德 对合量子数的Gentzen型计算。 （英语） Zbl 1089.81007号 国际J.Theor。物理。 44，第4期，399-428（2005）. 摘要：证明了一些与非对合量子数密切相关的Gentzen型序列计算的完备性和截除定理。 MSC公司： 第81页第10页 量子力学的逻辑基础；量子逻辑（量子理论方面） 关键词：对合量子数;矢列演算;切削消除;量子逻辑 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，国际期刊Theor。物理学。44，第4号，399--428（2005；Zbl 1089.81007） 全文： 内政部 参考文献： [1] Abrusci，V.M.（1990）。非交换直觉主义线性逻辑。Ztschr公司。f.数学。Logik逻辑36、297–318·Zbl 0810.03005号 [2] Allwein，G.和MacCaull，W.（2001年）。Gelfand量子数逻辑的Kripke语义。Studia Logica逻辑研究68、173–228·Zbl 0992.03080号 ·doi:10.1023/A:1012495106338 [3] Faggian，C.和Sambin，G.（1998年）。从基本逻辑到简化的量子逻辑。国际理论物理杂志37（1），31–37·Zbl 0904.03031号 ·doi:10.1023/A:1026652903971 [4] C.A.R.Hoare和Jifeng He。(1987). 最弱的预规范。信息处理信函24、127–132·Zbl 0622.68025号 ·doi:10.1016/0020-0190（87）90106-2 [5] Ishihara，K.和Hiraishi，K.（2001年）。Petri网模型线性逻辑的完备性。IGPL逻辑杂志9（4），549–567·Zbl 0980.03024号 ·doi:10.1093/jigpal/9.4.549 [6] Kamide，N.（2004）。量化线性逻辑、对合量子数和强否定。Studia Logica逻辑研究77，355–384·Zbl 1068.03052号 ·doi:10.1023/B:STUD.0000039030.03885.7c [7] Larchey Wendling博士和Galmiche博士（2000年）。作为有序幺半群补足的量子数：直觉主义线性逻辑的修订语义。理论计算机科学电子笔记35，15页·Zbl 0963.68101号 [8] MacCaull，W.（1997年）。线性逻辑和其他子结构逻辑的关系证明系统。IGPL逻辑期刊5673-697·Zbl 0889.03046号 ·doi:10.1093/jigpal/5.5.673 [9] Mulvey，C.J.（1986）。&，第二次拓扑会议（Taormina 1984）。Ser.Rendiconti del Circolo Matematico di Palermo。2，补编，第12号，第94-104页。 [10] Mulvey，C.J.和Pelletier，J.W.（1992年）。关系演算的量化。类别理论1991，CMS会议论文集，第13卷，Amer。数学。Soc.，普罗维登斯，RI，第345-360页·Zbl 0793.06008号 [11] Mulvey，C.J.和Pelletier，J.W.（2001年）。关于点的量化。《纯粹与应用代数杂志》159，231-295·Zbl 0983.18007号 ·doi:10.1016/S0022-4049（00）00059-1 [12] Mulvey，C.J.和Pelletier，J.W.（2002年）。关于空间的量化。《纯粹与应用代数杂志》175、289–325·Zbl 1026.06018号 ·doi:10.1016/S0022-4049（02）00139-1 [13] Nishimura，H.（1994）。极小量子逻辑的证明理论I，II。国际理论物理杂志33（1），（7），103–113，1427–1443·Zbl 0798.03062号 [14] Okada，M.（2002）。各种一阶和高阶逻辑的删减和完备性的统一语义证明。理论计算机科学281471-498·Zbl 1048.03042号 ·doi:10.1016/S0304-3975（02）00024-5 [15] Pelletier，J.W.和Rosickí，J.（1997）。简单对合量子数。代数杂志195，367–386·Zbl 0894.06005号 ·doi:10.1006/jabr.1997.7051 [16] Piazza，M.（1995）。代数结构和观测：量子力学非对易逻辑理论方法的量子数。C.Garola和A.Rossi（编辑），《量子力学基础》（物理学基础理论71），Kluwer学术出版社，多德雷赫特，381–394。 [17] Pratt，V.（1993）。广义量子力学的线性逻辑。《物理与计算研讨会论文集》（PhysComp'92），IEEE，166-180。 [18] Rautenberg，W.（1979年）。克拉西奇和尼希特-克拉西奇奥萨根洛基。布伦瑞希·维埃格·Zbl 0424.03007号 [19] Rosenthal，K.I.（1990年）。Quantales及其应用。皮特曼研究笔记数学系列234，朗曼科学与技术·Zbl 0703.06007号 [20] Sambin，G.（1995）。前拓扑与完备性证明，《符号逻辑杂志》60（3），861-878·Zbl 0839.03022号 ·doi:10.2307/2275761 [21] Takano，M.（1995）。最小量子逻辑的证明理论：评论。《国际理论物理杂志》34（4），649-654·Zbl 0824.03032号 ·doi:10.1007/BF00674960 [22] Wansing，H.（1993）。子结构命题逻辑的信息解释。逻辑、语言和信息杂志2，285–308·Zbl 0795.03014号 ·doi:10.1007/BF01181683 [23] Yetter，D.N.（1990）。量子数和（非对易）线性逻辑。符号逻辑杂志55，41–64·Zbl 0701.03026号 ·doi:10.2307/2274953 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。