×
川野、通崎

具有严格含义的正畸后遗症结石。 （英语） 兹比尔1525.03114

牛市。第节。日志。，罗兹大学，后勤部。 51，编号1，73-89（2022）.
H.西村[J.Symb.Log.45，339–352（1980；Zbl 0437.03034号)]为最小量子逻辑或正交逻辑提供了一个Gentzen-style序列系统（mathbf{GO}），尽管它不是无裁剪的。M.Takano先生[《国际期刊·Theor.Phys.34》，第4期，第649–654页（1995年；Zbl 0824.03032号)]成功地使其无需切割。
本文介绍了两种Gentzen型时序系统｛GOI｝_{1} \）和\（\mathbf{印度政府}_{2} \）对于具有严格含义的正交[M.L.Dalla Chiara先生，in：哲学逻辑手册。第三卷：经典逻辑的替代品。Dordrecht等：D.Reidel出版公司，Kluwer学术出版商集团的成员。427–469 (1986;Zbl 0875.03084号)]. 主要结果是这些系统关于R.I.戈德布拉特[J.Philos.Log.3，19-35（1974；Zbl 0278.02023号)]关系语义。这些系统并不是无裁剪的，它们的无裁剪细化仍然是一个具有挑战性的问题。
审核人：Hirokazu Nishimura（筑波）

MSC公司：

03G12号机组 量子逻辑
03财年03 一般证明理论（包括证明理论语义）
05年3月 切割消除和正规形定理

关键词：

量子逻辑;矢列演算;完备性定理;含义;正交的

引文：

Zbl 0437.03034号;Zbl 0824.03032号;Zbl 0603.03001号;Zbl 0278.02023号;Zbl 0875.03084号
PDF格式BibTeX公司 XML格式引用
\textit{T.Kawano}，公牛。第节。日志。，大学后勤部。51，编号1，73--89（2022；Zbl 1525.03114）
全文： 内政部
OA许可证

参考文献：

[1] J.C.Abbott，《正交蕴涵代数》，Studia Logica，第35卷（2）（1976），第173-177页，DOI：
内政部：·Zbl 0331.02036号 ·doi:10.1007/BF02120879
[2] K.Bednarska，A.Indrzejczak，《S5的超序贯演算——删减方法，逻辑和逻辑哲学》，第24卷（3）（2015），第277-311页，DOI：
内政部：·Zbl 1372.03037号 ·文件编号：10.12775/LLP.2015.018
[3] G.Birkhoff，J.V.Neumann，《量子力学的逻辑》，《数学年鉴》，第37卷（4）（1936），第823-843页，DOI：
内政部：·Zbl 0015.14603号 ·doi:10.2307/1968621
[4] I.Chajda，《正交蕴涵公理》，捷克斯洛伐克数学杂志，第58卷（1）（2008），第735-744页，DOI：
内政部：·Zbl 1174.06310号 ·doi:10.1007/s10587-008-002-2
[5] I.Chajda，J.Cirulis，《正交模格的蕴涵逻辑》，《数学科学学报》，第82卷（34）（2016），第383-394页，DOI：
内政部：·Zbl 1399.03024号 ·doi:10.14232/actasm-015-813-6
[6] I.Chajda，R.Halaš，《矫形学的含义》，《国际理论物理杂志》，第44卷（7）（2005），第735-744页，DOI：
内政部：·Zbl 1104.81017号 ·doi:10.1007/s10773-005-7051-1
[7] I.Chajda，R.Halaš，H.Länger，正交模蕴涵代数，国际理论物理杂志，第40卷（11）（2001），第1875-1884页，DOI:
内政部：·Zbl 0992.06008号 ·doi:10.1023/A:1011933018776
[8] I.Chajda，H.Länger，《正交模块Poset可以组织为条件滞留结构》，《巴洛克大学学报》。山楂（Facultas Rerum Naturalium）。Mathematica，第53卷（2）（2014），第29-33页，网址：·Zbl 1320.06003号
[9] I.Chajda，H.Länger，《正交模格可以转化为左旋L-群胚》，Miskolc数学笔记，第18卷（2）（2017），第685-689页，DOI:
内政部：·Zbl 1399.06020号 ·doi:10.18514/mmn.2017.1730
[10] I.Chajda，H.Länger，正交模格中的剩余，拓扑代数及其应用，第5卷（1）（2017），第1-5页，DOI:
内政部：·Zbl 1404.06009号 ·doi:10.1515/taa-2017-0001
[11] I.Chajda，H.Länger，《如何在正交模偏序集中引入连接词含义》，《亚欧数学杂志》，第14卷（4）（2021），第2150066页，DOI:
内政部：·Zbl 1472.06008号 ·doi:10.1142/S1793557121500662
[12] M.L.D.Chiara，R.Giuntini，《量子逻辑》，[in:]D.M.Gabbay，F.Guenthner（eds.），《哲学逻辑手册》，施普林格荷兰，多德雷赫特（2002），第129-228页，DOI:
内政部：·兹比尔1055.03002 ·doi:10.1007/978-94-017-0460-1_2
[13] P.D.Finch，作为蕴涵代数的量子逻辑，澳大利亚数学学会公报，第2卷（1）（1970），第101-106页，DOI：
内政部：·Zbl 0179.01201号 ·doi:10.1017/S0004972700041642
[14] G.M.Hardegree，《正交模（和布尔）格中的物质蕴涵》，《圣母院形式逻辑杂志》，第22卷（2）（1981），第163-182页，DOI：
DOI（操作界面）：·Zbl 0438.03060号 ·doi:10.1305/ndjfl/1093883401
[15] G.M.Hardegree，拟简化代数，第一部分：初等理论，代数普遍性，第12卷（1）（1981），第30-47页，DOI：
内政部：·Zbl 0497.03049号 ·doi:10.1007/BF02483861
[16] G.M.Hardegree，拟简化代数，第二部分：结构理论，代数普遍性，第12卷（1）（1981），第48-65页，DOI：
内政部：·Zbl 0497.03050号 ·doi:10.1007/BF02483862
[17] L.Herman，E.L.Marsden，R.Piziak，《正交模格中的蕴涵连接词》，《圣母院形式逻辑杂志》，第16卷（3）（1975），第305-328页，DOI:
内政部：·Zbl 0262.02030号 ·doi:10.1305/ndjfl/1093891789
[18] A.Indrzejczak，《两个就够了——S5的双序列演算》，[in:]A.Herzig，A.Popescu（编辑），《组合系统的前沿》，Springer国际出版社，Cham（2019），第277-294页，DOI:
内政部：·Zbl 1468.03022号 ·doi:10.1007/978-3-030-29007-8_16
[19] A.Indrzejczak，序列和树。命题序列演算理论与应用导论，普适逻辑研究，Birkhäuser，巴塞尔（2021），DOI:
内政部：·Zbl 07261255号 ·doi:10.1007/978-3-030-57145-0
[20] K.Ishii，R.Kashima，K.Kikuchi，Visser命题逻辑的序贯演算，《圣母院形式逻辑杂志》，第42卷（1）（2001），第1-22页，DOI：
内政部：·Zbl 1023.03054号 ·doi:10.1305/ndjfl/1054301352
[21] G.Kalmbach，《正交模格子》，学术出版社，纽约（1983年）·Zbl 0512.06011号
[22] T.Kawano，量子逻辑的高级克里普克框架，[in:]L.S.Moss，R.de Queiroz，M.Martinez（编辑），《逻辑、语言、信息和计算》，Springer Berlin Heidelberg，Berlin，Heidelberg（2018），pp.237-249，内政部：
内政部：·Zbl 1509.03174号 ·doi:10.1007/978-3-662-57669-4_14
[23] T.Kawano，《骨科标记序贯演算》，《逻辑学杂志》，第47卷（4）（2018），第217-232页，DOI：
内政部：·Zbl 1437.03179号 ·doi:10.187878/0138-0680.47.4.01
[24] S.Negri，模态逻辑的证明理论，《哲学指南》，第6卷（8）（2011），第523-538页，DOI：
内政部：·doi:10.1111/j.1747-9991.2011.00418.x
[25] H.Nishimura，量子逻辑中的顺序方法，《符号逻辑杂志》，第45卷（2）（1980），第339-352页，DOI：
内政部：·Zbl 0437.03034号 ·doi:10.2307/2273194
[26] H.Nishimura，最小量子逻辑的证明理论I，《国际理论物理杂志》，第33卷（1）（1994），第103-113页，DOI：
内政部：·Zbl 0798.03062号 ·doi:10.1007/BF00671616
[27] H.Nishimura，最小量子逻辑证明理论II，《国际理论物理杂志》，第33卷（7）（1994），第1427-1443页，DOI：
内政部：·Zbl 0809.03045号 ·doi:10.1007/BF00670687
[28] H.Ozawa、H.Odera、S.Chitani，量子逻辑的形式系统QL，日本逻辑哲学协会，逻辑哲学研究，第3卷（2003年）。
[29] M.Ozawa，《不同条件下通过量子集理论定义的可观测阶的操作意义》，《理论计算机科学电子论文集》，第236卷（2017年），第127-144页，DOI:
内政部：·Zbl 1486.03089号 ·doi:10.4204/9月236.9日
[30] F.Poggiolesi，Gentzen Calculi for Modal Propositional Logic，《逻辑趋势》第32卷，Springer，Dordrecht（2011）。
内政部：·Zbl 1232.03007号
[31] A.Visser，《带显式不动点的命题逻辑》，Studia Logica，第40卷（2）（1981），第155-175页，DOI:
内政部：·Zbl 0469.03012号 ·doi:10.1007/BF01874706
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。