吉多·格拉迪;奥兰德利，尤金尼奥 超昂贵的影响。 （英语） Zbl 1500.03006号 牛市。第节。日志。，大学后勤部。 50，编号1，1-34（2021）. 本文介绍了一种新的模态逻辑语言，使用超价格影响，表示为（A\vartriangleright B）和（A\blacktriangleright B），它们是对C.I.Lewis严格蕴涵的修正。这些蕴涵连接词的设计是为了避免实质蕴涵的悖论（否定A\supset（A\supsetB））和（B\supset；具有超标准含义的逻辑是连接逻辑他们验证了所谓的亚里士多德的论文\[\neg（A\ to \neg A），\quad\neg（\neg A\ to A）\]和波伊修斯的论文\[（A到B）\supset\neg（A到负B），\]其中，\（\to\）表示\（\vartriangleright\）或\（\blacktriangleright\）。超价格含义的定义Kripke语义使\（A\vartriangleright B\）等价于常用的模态公式\（\Box（A\supset B）\land\Diamond A\），而\（A\ blacktriangleright B\”等价于\（\Box（A\sepset B）\ land\Diamend A\land\Diamond B\）。相反，通常的模态运算符可以使用\（\Diamond A\equiv（A\vartriangleright\top）\）进行定义。作者提出了与“模态逻辑立方体”（通过D、T、B、4和5公理组合公理化的正规模态逻辑）中的逻辑相对应的超标准蕴涵逻辑的标记序列计算。他们证明（语法上）所有的结构规则，包括cut，在计算中都是可接受的，并且他们表明计算相对于预期的语义来说是健全和完整的。他们还讨论了超标准含义与其他连接逻辑建议的关系，特别是G.牧师[托波伊18，第2期，141-148（1999；Zbl 0946.03011号)]审核人：埃米尔·杰亚贝克（普拉哈） 引用于三文件 MSC公司： 03B45号 模态逻辑（包括规范逻辑） 03A05号 逻辑和基础的哲学和批判性方面 05年3月 切割消除和正规形定理 关键词：严格暗示;隐含悖论;连接逻辑;矢列演算 引文：Zbl 0946.03011号 PDF格式BibTeX公司 XML格式引用 \textit{G.Gherardi}和\textit{E.Orlandelli}，公牛。第节。日志。，大学后勤部。50，编号1，1-34（2021；兹bl 1500.03006） 全文： 内政部 参考文献： [1] A.R.Anderson、N.Belnap、Entailment。《相关性和必要性的逻辑》，第一卷，普林斯顿大学出版社（1975年）。谷歌学者·Zbl 0323.02030号 [2] R.George，Bolzano的结果、相关性和推理，《哲学逻辑杂志》，第12卷（1983年），第299-318页，DOI：谷歌学者·Zbl 0523.03002号 [3] J.Y.Halpern，Y.Moses，《知识和信仰模态逻辑的完整性和复杂性指南》，《人工智能》，第54卷（2）（1992），第319-379页，DOI：https://doi.org/10.1016/0004-3702(92)90049-4谷歌学者·Zbl 0762.68029号 [4] J.Heylen，L.Horsten，《严格条件：负面结果》，《哲学季刊》，第56卷（225）（2006），第536-549页，DOI：谷歌学者 [5] D.希区柯克（D.Hitchcock），情结的传统治疗是基于错误吗？，《辩论》，第12卷（1998年），第15-37页，内政部：谷歌学者 [6] C.I.Lewis，《符号逻辑概览》，加利福尼亚大学出版社（1918年）。谷歌学者 [7] D.Lewis，《反事实》，哈佛大学出版社（1975年）。谷歌学者 [8] E.J.Lowe，条件逻辑的简化，《圣母院形式逻辑杂志》，第24卷（3）（1983），第357-366页，DOI：谷歌学者·兹伯利0487.03010 [9] E.J.Lowe，《反事实真相》，《哲学季刊》，第45卷（178）（1995），第41-59页，内政部：谷歌学者 [10] S.Negri，《非正规模态逻辑的证明理论：邻域形式主义和基本结果》，《IfCoLog逻辑及其应用杂志》，第4卷（2017年），第1241-1286页。谷歌学者 [11] S.Negri，E.Orlandelli，量化单调模态逻辑的证明理论，IGPL逻辑杂志，第27卷（4）（2019），第478-506页，DOI:谷歌学者·Zbl 1477.03057号 [12] S.Negri，J.von Plato，《证据分析》，剑桥大学出版社（2011年）。谷歌学者·Zbl 1247.03001号 [13] E.Nelson，《内涵关系》，《思维》，第39卷（1930年），第440-453页。谷歌学者·JFM 56.0045.01号文件 [14] H.Omori，H.Wansing，连接逻辑。《概述与当前趋势》，《逻辑与逻辑哲学》，第28卷（3）（2019），第371-387页，内政部：谷歌学者·Zbl 1458.03005号 [15] C.Pizzi，T.Williamson，Strong Boethius的论文和结果含义，《哲学逻辑杂志》，第26卷（1997年），第569-588页，DOI:谷歌学者·Zbl 0882.03012号 [16] 16] G.牧师，《否定作为抵消和连接逻辑》，托波伊，第18卷（1999年），第141-148页，内政部：谷歌学者·Zbl 0946.03011号 [17] E.Raidl，《强化条件句》，【in：】B.Liao，Y.N.Wáng（编辑），《语境、制约和推理》，Springer Singapore（2020年），第139-155页，DOI：谷歌学者 [18] H.Rasiowa，《非经典逻辑的代数方法》，Elsevier（1974）。谷歌学者·兹比尔0299.02069 [19] R.Routey，V.Routely，《否定与矛盾》，《哥伦比亚马提马提卡评论》，第19卷（1985年），第201-230页。谷歌学者·Zbl 0614.03007号 [20] R.C.Stalnaker，《条件理论》，[in:]N.Rescher（ed.），《逻辑理论研究》，Basil Blackwell（1968），第98-112页。谷歌学者 [21] A.S.Troelstra，D.van Dalen，《数学中的建构主义》，北荷兰（1988年）。谷歌学者·Zbl 0661.03047号 [22] M.Vidal，When Conditional Logic meet Connexive Logic，[in：]IWCS 2017-12th International Conference on Computational Semantics（2017），第1-11页，网址：谷歌学者 [23] H.Wansing，D.Skurt，否定即取消，连接逻辑和qLPm，《澳大利亚逻辑杂志》，第15卷（2018年），第476-488页，DOI：谷歌学者·Zbl 1455.03033号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。