×
大卫·法齐奥;安东尼奥·莱达;弗朗西斯科·保利;加文圣约翰

正交模量子逻辑的子结构Gentzen演算。 （英语） Zbl 07786932号

版本符号。日志。 16，第4期，1177-1198（2023）.
摘要：我们引入了一个序列系统，该序列系统可以用正交模格作为等价的代数语义进行Gentzen代数化，因此可以被视为正交模量子逻辑的演算。其序列是一对非结合结构，通过结构连接词形成，其代数解释为Sasaki产品在左手边，它的德摩根对偶在右手边。它是一个下部结构的微积分，因为一些标准的结构序列规则受到了限制&通过取消所有这些限制，可以恢复经典逻辑的微积分。

MSC公司：

03G12号机组 量子逻辑
03B47型 子结构逻辑（包括相关性、蕴涵、线性逻辑、Lambek演算、BCK和BCI逻辑）

关键词：

正交模格;量子逻辑;Gentzen系统;子结构逻辑;左剩余\（\ell\）-广群
PDF格式BibTeX公司 XML格式引用
\textit｛D.Fazio｝等人，Rev.Symb。日志。16，编号4，1177--1198（2023；Zbl 07786932）
全文： 内政部

参考文献：

[1] Avron，A.（1988年）。线性逻辑的语义和证明理论。理论计算机科学，57，161-184·Zbl 0652.03018号
[2] Beran，L.（1980）。正交模格的中心和交换性质。Mathematische Nachrichten，97，247-251·Zbl 0452.06009
[3] Beran，L.（1985）。正交模格：代数方法。多德雷赫特：雷德尔。
[4] Bimbo，K.（2014）。证明理论：序贯演算和相关形式化。伦敦：劳特利奇·Zbl 1302.03001号
[5] Blok，W.J.和Jónsson，B.（2006年）。后果操作的等效性。Studia Logica，83，91-110·Zbl 1106.03059号
[6] Blount，K.和Tsinakis，C.（2003年）。剩余格的结构。国际代数与计算杂志，13，437-461·Zbl 1048.06010号
[7] Bruns，G.和Harding，J.（2000年）。正交模格的代数方面。在Coecke，B.、Moore，D.和Wilce，A.的编辑中。运算量子逻辑的最新研究：代数，范畴，语言。多德雷赫特：施普林格荷兰出版社，第37-65页·Zbl 0955.06003号
[8] Buszkowski，W.（2017）。对合非关联Lambek演算：序列系统和复杂性。逻辑部分公报，46，75-91·Zbl 1423.03065号
[9] Chajda，I.和Länger，H.（2017）。正交模格可以转化为左剩余群胚。Miskolc数学笔记，18，685-689·兹比尔1399.06020
[10] Chajda，I.和Radelecki，S.（2016年）。对合右偏l-群。软计算，2119-131·Zbl 1370.03083号
[11] Cintula，P.、Horík，R.和Noguera，C.（2013）。非结合子结构逻辑及其半线性扩展：公理化和完备性。《符号逻辑评论》，6394-423·Zbl 1335.03023号
[12] Coecke，B.和Smets，S.（2004）。Sasaki钩子不是一个[静态]关联连接词，而是一个向后[及时]动态连接词，用于指定原因。国际理论物理杂志，431705-1736·Zbl 1077.81006号
[13] Cutland，N.和Gibbins，P.（1982年）。量子逻辑的一种正则序列演算，其中\（\wedge\）和\（\vee）是对偶的。逻辑与分析，25221-248·Zbl 0518.03029号
[14] Czelakowski，J.（2010）。原代数逻辑。逻辑趋势。多德雷赫特：克鲁沃。
[15] Dalla Chiara，M.、Giuntini，R.和Greechie，R.（2004）。量子理论中的推理。《逻辑趋势》（Trends in Logic），多德雷赫特：克鲁沃出版社·Zbl 1059.81003号
[16] Font，J.（2016）。抽象代数逻辑：入门教科书。伦敦：学院出版物·Zbl 1375.03001号
[17] Galatos，N.、Jipsen，P.、Kowalski，T.和Ono，H.（2007年）。剩余格：亚结构逻辑的代数一瞥，《逻辑研究与数学基础》，第151卷。阿姆斯特丹：爱思唯尔·Zbl 1171.03001号
[18] Galatos，N.和Ono，H.（2010年）。子结构逻辑的截消和强分离：代数方法。《纯粹逻辑与应用逻辑年鉴》，1611097-1133·Zbl 1245.03027号
[19] Galatos，N.和Tsinakis，C.（2009年）。闭包算子的等价性：从序理论和范畴的角度。符号逻辑杂志，74780-810·Zbl 1181.03063号
[20] Goldblatt，R.（1974年）。直系词的语义分析。哲学逻辑杂志，19，19-35·Zbl 0278.02023号
[21] Gudder，S.和Schelp，R.（1980年）。正交补偏序集和正交模偏序集的协调。美国数学学会学报，25229-237·Zbl 0203.31002号
[22] Hardegree，G.（1981年）。正交模（和布尔）格中的物质蕴涵。《圣母院形式逻辑杂志》，22，168-182·Zbl 0438.03060号
[23] Humberstone，L.（2011）。康涅狄格州。剑桥：麻省理工学院出版社·Zbl 1242.03002号
[24] Kalmbach，G.（1974年）。正交模逻辑。Zeitschrift für Mathematische Logik und Grundlagen der Mathematik，第20395-406页·Zbl 0373.02030号
[25] Kornell，A.（2021）。正交模量子逻辑的自然演绎系统。预打印.arXiv:2109.05383[math.LO]。
[26] Metcalfe，G.、Paoli，F.和Tsinakis，C.（2010年）。有序代数与逻辑。在Hosni，H.和Montagna，F.的编辑中。《不确定性和合理性》，《比萨正常高等学校出版物》，比萨，第10卷，第1-85页·Zbl 1202.03067号
[27] Moot，R.和Retoré，C.（2012年）。非结合Lambek演算。在Moot，R.和Retoré，C.的编辑中。范畴语法的逻辑。柏林：施普林格出版社，第101-147页·Zbl 1261.03001号
[28] Nishimura，H.（1980）。量子逻辑中的序贯方法。符号逻辑杂志，45，339-352·Zbl 0437.03034号
[29] Paoli，F.（2002年）。亚结构逻辑：入门。逻辑趋势。多德雷赫特：克鲁沃·Zbl 1025.03002号
[30] Fazio，D.、Ledda，A.和Paoli，F.（2021）。残余结构和正交模晶格。Studia Logica，第109页，第1201-1239页·Zbl 1487.03074号
[31] Raftery，J.G.（2006）。Gentzen和Hilbert系统之间的通信。符号逻辑杂志，71，903-957·Zbl 1115.03095号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。