{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2023,9,27]]，“日期-时间”：“2023-09-27T11:40:21Z”，“时间戳”：1695814821447}，“参考-计数”：35，“出版商”：“牛津大学出版社（OUP）”，“问题”：“5”，“许可证”：[{“开始”：{:“日期-零件”：[2022,6,23]]，me“：”2022-06-23T00:00:00Z“，”时间戳“：1655942400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/cademicial.oup.com/journals\/pages\/open_access\/funder_policies//chorse\/standard_ppublication_model”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[]，”published-print“：{”date-parts“：[2023,9,25]]}，“抽象”：“摘要<\/jats:title>\n本文的基础是分析因果蕴涵的逻辑CI.0，由于定义a\u00a0\u2192\u00a0B\u00a0=\u00a0df a\u297d B\u2227\u039e（\u0391，\u0392），\u039e（\u0391，\u0392），\u039e（\u0391，\u0392）是这里所称的均衡属性的符号：（\u25a1A\u00a0\u2261\u00a 0\u25a 1B）\u2227（\u25 caA\u00 a0\u 2261\u 00a0\ u25caB）。用以*表示的所谓间接算子的公理和规则扩展CI.0（=KT），可以得到一个系统CI.0*Eq，在该系统的语言中，可以通过定义（Def\u21a0）定义一个适合于形式化上下文相关条件（从而反事实条件）的算子\u21a0A\u21a0 B\u00a0=\u00a 0df*A\u297d B\u2227\u039e（\u0391，\u0392）。。本文的中心问题是在CI.0*Eq\u00a0+\u00a0Def\u21a0内确定一组公理，产生由所有和唯一定理组成的片段，其中只出现真值泛函算子以及两个算子\u2192和\u21a0。此系统（此处称为CI.0）在\u00a73中介绍。鉴于预期目的，引入了一个完整的表决定系统KTw，它是KT的一个扩展，带有所谓的拟变量w（a），w（B）\u2026的公理。然后介绍了本文使用的三种语言之间的三个翻译函数。第一个Tr将形式*A的每个wff映射为形式w（A）\u2227A的wff，并将CI.0*Eq的定理转换为KTw的定理。第二个是t\u00b0，通过应用Def\u21a0将CI.0的定理转换为CI.0*Eq的定理。第三个是t，它将CI.0的定理转换为KTw的定理。因此，t\u00b0A\u00a0=\u00a 0TrtA。在\u00a74中，证明了CI.0对于形式为&lt；的CI.0模型类是完备的；W、 f、R、V\u00a0&gt；\u00a0其中f是选择函数，R是访问关系。然后证明（i）CI.0模型可以转换为KTw模型；（ii）CI.0模型世界中命题的真值保持在导出的KTw模型的同一世界中；（iii）如果A的翻译tA是KTw-thesis，则A是CI.0-thesis。因此，如果A不是CI.0-thesis，则tA不是KTw-thesis；因此，TrtA也不是CI.0*Eq-thesis。由于t\u00b0A\u00a0=\u00a 0TrtA和t\u00b 0A是建立在Def\u21a0上的函数，这证明了CI.0-wff（CI.0*Eq-theorem）的每一个t\u00b0-转换都是CI.0-theorem。由于逆命题在\u00a72中得到了证明，因此它们的连词建立了预期的结果。在最后一节中，我们证明了CI.0是tableau可决定的，\u21a0不是一个平凡的算子，并且\u21a 0具有\u00a71中上下文相关条件所要求的正负性质。一些最后的评论表明，研究CI.0和经典条件逻辑系统之间的关系可能是一条有前途的研究路线<\/jats:p>“，”DOI“：”10.1093\/jigpal\/jzac052“，”type“：”journal-article“，”created“：{”date-parts“：[2022,6,23]]，”date-time“：”2022-06-23T17:14:34Z“，”timestamp“：1656004474000}，”page“：“907-925”，“source”：“Crossref”，“is-referenced-by-count”：0，“title”：[“间接反事实逻辑的公理”]，“前缀”：“10.1 093“，”卷“：”31“，”作者“：[{”给定“：”Claudio E A“，”family“：”Pizzi“，”sequence“：”first“，”affiliation“：[{”name“：”Ementitus Siena University“}]}]，”member“：”286“，”published-online“：{”date-parts“：[2022,6,23]]}，”reference“：[}”key“：”2023092607151639700_ref1“，”volume-title“：”Entailment.The Logic of Relevance and Necessity“，”author“：”Anderson“，”year“：”1975“}，{“密钥”：“2023092607151639700_ref2”，“doi-asserted-by“：”crossref“，”first page“：”327“，”doi“：”10.2307\/2964651“，”article-title“：”带有虚拟条件的命题逻辑“，”volume“：“27”，”author“：”Angell“，”year“：”1962“，”journal-title”：“journal of Symbolic logic”}，{“key”：“2023092607151639700_ref3”，“doi-assert-by”：10.1305英寸article-title“：”一些条件逻辑的快速完备性证明“，”volume“：”22“，”author“：”Burgess“，”year“：”1981“，”journal-title”：“Notre Dame journal of Formal Logic”}，{“key”：“2023092607151639700_ref4”，“doi-asserted-by”：“crossref”，“first page”：”289“，”doi“：”10.1093\/mindent\/LV.219.289“，”article-title“”：“与事实相反的条件”，“volume“：”55“，”author“：”Chisholm“，”year“：”1946“，”journal-title“：”Mind“}，{“key”：“2023092607151639700_ref5”，”doi-asserted-by“：”crossref“，”first page“：“443”，“doi”：“10.1007\/BF00484979”，“article-title”：“选择结构和偏好关系”，“volume”：”18“，”author“”：“Hansson”，“year”：“1968”，“journal-title”“：”Synthese“}，{“键”：“2023092607151639700_ref6“，”doi-asserted-by“：”crossref“，”first page“：”181“，“doi”：“10.1017\/S1755020315000301”，“article-title”：“指示性条件”，“volume”：“9”，“author”：“Field”，”year“：”2016“，”journal-title“：”The Review of Symbolic Logic“}，{“key”：“G\u00e4rdefors”，“年份”：“1988年“}，{“key”：“2023092607151639700_ref8”，“首页”：“13”，“文章标题”：“反事实条件句的问题”，“卷”：“44”，“作者”：“古德曼”，“新闻标题”：《哲学杂志》}，}，“key“：”202309260151639700 _ref9“，”doi-asserted-by“：”crossref“，”首页“21”，“doi”：“10.1080\/000407812341011”，“论文标题”“：”条件逻辑的间接运算符语言的两个优点“，”卷“：”56“，”作者“：”亨伯斯通“，”年份“：”1978“，”期刊标题“：”澳大拉西亚哲学杂志“}，”关键字“：”2023092607151639700_ref10“，”doi-asserted-by“：”crossref“，”first page“：”497“，”doi“：”10.1007\/978-3662-55665-8_34“，”volume-title“：”逻辑、理性和互动”，“作者”：“卡普斯纳”，“年份”：“2017”}，{“关键”：“2023092607151639700_ref11”，“doi-asserted-by”：“交叉引用”，“首页”：“167”，“doi”：“10.1016\/0004-3702（90）90101-5”，“文章标题”：“非单调推理、优先模型和累积逻辑”，“卷”：“44”，“作家”：“克劳斯”，“年”：“1990”，“新闻标题”：人工智能“}，{”key“：”2023092607151639700_ref12“，”volume-title“：”Counterfactuals“，”author“：”Lewis“，“year”：“1973”}，“key”：“202309260151639700 _ref13”，”doi-asserted-by“：”crossref“，”first page“：“357”，“doi”：“10.1305\/ndjfl\/1093870380”，“article-title”：“条件逻辑的简化”，“volume”：”24“author“：”Lowe“，”年份“：”1983年“，”journal-title“：”Notre Dame journal of Formal Logic“}，”{“key”：“2023092607151639700_ref14”，“volume-title”：“Understanding Symbolic Logic”，“author”：“Massey”，“year”：“1970”}，“key“：”202309260151639700 _ref15“，”first page“：“1977年”，“journal-title“：”The Relevance Logic Newsletter“}，{”key“：”2023092607151639700_ref16“，”doi-asserted-by“：”crossref“，”first page“：“415”，“doi”：“10.2307\/2270458”，“article-title”：“Connexive implication”，“volume”：“31”，“author”：“McCall”，“year”：“1966”，“journal-title”“：”journal of Symbolic Logic“}”，{“key”：，“doi-asserted-by”：“crossref”，“首页”：“82”，“DOI”：“10.2307\/2270055”，“文章标题”：“关于包含亚里士多德论文的系统”，“卷“卷可构建虚假性“，“卷”：“14”，“作者”：“纳尔逊”，“年份”：“1949”，“新闻标题”：“符号逻辑杂志”}，{“关键词”：“2023092607151639700_ref19”，“首页”：“4”，“文章标题”：Ergebnisse eines mathematischen Kolloquiums“}，{“key”：“2023092607151639700_ref20”，“doi-asserted-by”：“crossref”，“首页”：“1”，“doi”：“10.12775\/LLP.2021.015”，“article-title”：“纯变量包含逻辑”，“卷”：“30”，“author”：“Paoli”，0_ref21“，”doi-asserted-by“：”crossref“，”first page“：”283“，”doi“：”10.1007 \/BF00262063“，“article-title”：“Boethius的论文和条件逻辑”，“volume”：“6”，“author”：“Pizzi”，“year”：“1977”，“journal-title“：”journal of Philosophical logic“}，{“key”：10.1305英寸文章标题“：“间接蕴涵逻辑的决策过程”，“卷”：“32”，“作者”：“Pizzi”，“年份”：“1991”，“期刊标题”：“圣母院形式逻辑期刊”}，{“键”：“2023092607151639700_ref23”，“doi断言者”：“crossref”，“首页”：“621”，“doi”：“10.1305\/ndjfl\/10933633911”，“文章标题”：“间接含义：a correction”，“volume”：“34”，“author”：“Pizzi”，“year”：“1993”，“journal-title”：“Notre Dame journal of Formal Logic”}，{“key”：”2023092607151639700_ref24“，“doi-asserted-by”：“crossref”，“first page”：《561》，“doi”：“10.1093\/jigpal\/12.6561”，“article-titel”：“Cotenability and Logic of the resultive implication”，”volume“12”，“作者“：”Pizzi“，“年份”：“2004”，“期刊标题”：“Logic Jnl IGPL”}，｛“key”：“2023092607151639700_ref25”，“doi断言”：“crossref”，“首页”：“119”，“doi”：“10.1016\/j.jal.2004.07.014”，“文章标题”：“亚里士多德\u2019关于准一致性和模态化之间的论文”，“卷”：“3”，“作者”：“Pizzi”，“年份”：“2005”，“期刊标题”：“应用逻辑杂志“}，{”key“：”2023092607151639700_ref26“，”doi-asserted-by“：”crossref“，”first page“：“453”，”doi“：”10.1007\/s11225-017-9749-5“，”article-title“：”Two types of successive implication“，”volume“：106”，“author”：“Pizzi”，“year”：“2018”，“Journal-title”：“Studia Logica”}，”{“key”：“202309260151639700 _ref27”，“首页“：”133“，”volume-title“：”The Multi-Sides of Logic“，”author“：”Pizzi“，”year“：”2009“}，{“key”：“2023092607151639700_ref28”，“doi-asserted-by”：“crossref”，“volume-tite”：“Subjunctive Reasoning”，“author”：“Pollock”，“year”：“1976”，“doi”：“10.1007\/978-94-010-1500-4”}，“key“：”202309260151639700 _ref29“，”doi-assert-by“：“交叉引用”，“首页”：“141”，“doi”：“10.1023\/A:1006294205280“，”article-title“：”否定作为取消和连接逻辑“，”volume“：”18“，”author“：”Priest“，”year“：”1999“，”journal-title”：“Topoi”}，{“key”：“2023092607151639700_ref30”，”volume-title“：“Nomological Statements and Adminable Operations”，“author”：“Reichenbach”，“year”：“1954”}、{“key”：”202309260151639700 _ref31“，”volume me-title“：”逻辑理论研究”，“作者”：“Stalnaker”，“年份”：“1968”}，{“key”：“2023092607151639700_ref32”，“首页”：“367”，“卷时间”：“模态逻辑的进展”，“author”：“Wansing”，“year”：“2005”}3092607151639700_ref34“，”doi-asserted-by“：”crossref“，”first-page“：”644“，”doi“：”10.1017\/S0012217300021399“，”article-title“：”条件句索引理论“，”volume“：”20“，”author“：”Warmbrod“，“year”：“1981”，“journal-title”：“Dialogue”}，{“key”：“2023092607151639700_ref35”，“doi-assert-by”：“crossrev”，“first-pages”：“1”，“doi”：“10.1007\/BF02115609“，”文章标题“：”带虚拟条件和处置谓词的模态逻辑“，”卷“：”2“，”作者“：”u00c5qvist“，”年份“：”1973“，”期刊标题“：”哲学逻辑杂志“}]，”容器标题“：[”IGPL逻辑杂志“]，”原文标题“：[]，”语言“：”en“，”链接“：[{”URL“：”https:\/\/actical.oup.com/jigpal\/article-pdf\/31\/5\/907\/51754139\/jzac052.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”syndication“}，{”URL“：”https:\///actical.doup.com\/gigpal\/article-pdf \/31\\/51\/907\/51754139\.jzac052.pdf“：“unspecified”，“content-version”：“vor”，“intended-application”：“相似性检查“}”，“存放”：{“date-parts”：[[2023,9,26]]，“date-time”：“2023-09-26T07:15:57Z”，“timestamp”：1695712557000}，“score”：1，“resource”：{“primary”：“{”URL“：”https:\/\/cademicial.oup.com/jigpal\/article\/31\/5\/907\/6609990“}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts:[2022,6,23]]}，“引用计数”：35，“日志发布”：{“发布”：“5“，”published-online“：{“date-parts”：[[2022,6,23]]}，”published-print“：{“date-parts”：[[2023,9,25]]}}，“URL”：“http://\/dx.doi.org\/10.1093\/jigpal\/jzac052”，“relationship”：{}、“ISSN”：[“1367-0751”，“1368-9894”]，“ISSN-type”：[{“value”：“1367-051”，“type”“}，{”值“：”1368-9894“，”类型“：”电子“}]，”主题“：[]，”发布-其他“：{”日期-部分“：[2023,10]]}，“已发布”：{“日期部分”：[[2022,6,23]]}}