×
卡塔琳娜·布里茨;约翰内斯·海德玛;伊万·瓦尔津扎克

约束性后果。 （英语） Zbl 1278.03030号

日志。Univers大学。 5，第2号，327-350（2011）.
设（\models）是一个经典的结果关系（语义蕴涵），设（\alpha\models\beta）平均值（\mathrm{Mod}（\alha）\subseteq\mathrm{Mod}（\beta。
约束蕴涵关系是满足以下五个属性的结果关系\（|\！\！\）：
{自反性：}\（\alpha\）\（|\！\！<）\（\alpha\）。
{基础古典性：}如果\（\alpha\）\（|\！\！\。
{等价：}如果\（\alpha\equiv\beta\）和\（\alpha\）\（|\！\！<）\（\gamma\），则\（\beta_）\（| \！\。
{语义插值：}如果\（\alpha\models\beta\），\（\beta\models\ gamma\），和\（\alpha\）\（|\！\！<）\（\gamma\。
｛广义析取：｝如果\（\alpha\）\（|\！\！＜\）\（\beta\）和\（\gamma\）\（|\！\！＜\）\（\delta\），则\（\alpha\vee\gamma\）\（|\！\！＜\）\（\beta\vee\delta\）。
本文研究了由\（alpha{|\！\！\产量\（\bullet\alpha\models\bullet_beta\）。
由此产生的结果关系是次经典的和非单调的，可以用于不一致的情况。
审核人：亚历克斯·西特金（沃伦）

引用于1文件

MSC公司：

03B20型 经典逻辑子系统（包括直觉逻辑）
03B22号 抽象演绎系统
03B45号 模态逻辑（包括规范逻辑）
03B53号 准一致逻辑
03B60号 其他非经典逻辑

关键词：

限制性后果;弱化算子;超经典蕴涵;非单调推理;模态逻辑;行动;因果关系;绑架;诊断;悖论
PDF格式BibTeX公司 XML格式引用
\textit{K.Britz}等人，日志。Univers大学。5，第2号，327--350（2011；Zbl 1278.03030）
全文： 内政部

参考文献：

[1] Anderson A.R.，BelnapN.D.：《纠缠：相关性和必要性的逻辑》，第1卷。普林斯顿大学出版社，普林斯顿（1975）·Zbl 0323.02030号
[2] Anderson A.R.、Belnap N.D.、Dunn J.M.：《蕴涵：相关性和必要性的逻辑》，第2卷。普林斯顿大学出版社，普林斯顿（1992）·Zbl 0921.03025号
[3] Arieli O.，Avron A.：非单调推理的一般模式：从基本蕴涵到似然关系。日志。IGPL杂志。8, 119–148 (2000) ·Zbl 0966.03024号 ·doi:10.1093/jigpal/8.2.119
[4] 贝克A.B.：情境演算框架中的非单调推理。Artif公司。智力。49，5–23（1991年）·Zbl 0749.03017号 ·doi:10.1016/0004-3702（91）90004-4
[5] Beall，J.、Brady，R.、Dunn，J.M.、Hazen，A.P.、Mares，E.、Meyer，R.K.、Priest，G.、Restall，G.，Ripley，D.、Slaney，J.和Sylvan，R.：关于三元关系和条件性。J.菲洛斯。日志。2011年5月7日在线·Zbl 1260.03049号
[6] Blackburn P.，de Rijke M.，Venema Y.：模态逻辑。剑桥理论计算机科学丛书。剑桥大学出版社，剑桥（2001）·Zbl 0988.03006号
[7] Blackburn P.、van Benthem J.、Wolter F.：模态逻辑手册。爱思唯尔，北荷兰（2006）·Zbl 1114.03001号
[8] Boutiler C.：常态的条件逻辑：模态方法。Artif公司。智力。68(1), 87–154 (1994) ·Zbl 0811.68114号 ·doi:10.1016/0004-3702（94）90096-5
[9] Britz，K.，Heidema，J.，Varzinczak，I.：相关推理。In:第十三届非单调推理国际研讨会（NMR）（2010年）
[10] Britz，K.，Meyer，T.，Varzinczak，I.：模态逻辑的优先推理。摘自：《模态方法汇编》（2011年）·Zbl 1347.03042号
[11] Britz，K.，Meyer，T.，Varzinczak，I.：优先描述逻辑的语义基础。摘自：《第24届澳大利亚人工智能会议论文集》（2011年）·Zbl 1347.03042号
[12] Byrne R.M.J.，Johnson-Laird P.N.：“如果”和条件推理问题。趋势认知。科学。13(7), 282–287 (2009) ·doi:10.1016/j.tics.2009.04.003
[13] Cantwell J.：推理中的条件。综合171，47–75（2009）·Zbl 1193.03005号 ·doi:10.1007/s11229-008-9379-6
[14] Castilho，M.A.，Herzig，A.，Varzinczak，I.：这取决于上下文！基于三元依赖关系的行动和计划的可判定逻辑。参加：第九届非单调推理国际研讨会（NMR）（2002年）
[15] Chellas B.：模态逻辑：简介。剑桥大学出版社，剑桥（1980）·Zbl 0431.03009号
[16] 戴维B.A.，普里斯特利H.A.：格与秩序导论。剑桥数学教科书。剑桥大学出版社，剑桥（1990）·Zbl 0701.06001号
[17] de Nivelle H.，Schmidt R.，Hustadt U.：模态逻辑的基于分辨率的方法。日志。IGPL杂志。8(3), 265–292 (2000) ·Zbl 0947.03014号 ·doi:10.1093/jigpal/8.3.265
[18] Dickman，M.：大型无限语言。北荷兰人（1975年）
[19] Dunn J.M.，Restall G.：关联逻辑。收录于：Gabbay，D.M.，Günthner，F（eds）《哲学逻辑手册》，第2版，第6卷，第1-128页。Kluwer学术出版社，多德雷赫特（2002）
[20] 杜日美：推理悖论和分析信息的非隐私性。J.菲洛斯。日志。39, 473–510 (2010) ·Zbl 1221.03010号 ·doi:10.1007/s10992-010-9127-5
[21] Gabbay，D.M.，Kurucz，A.，Zakharyaschev，M.，Wolter，F.：多维模态逻辑：理论与应用。收录于：《逻辑与数学基础研究》，第148卷。爱思唯尔，北荷兰（2003）·Zbl 1051.03001号
[22] Gabbay D.M.，Schlechta K.：优先逻辑路线图。J.应用。非经典测井。19(1), 43–95 (2009) ·Zbl 1187.03026号 ·doi:10.3166/1月19.43-95日
[23] Galatos N.，Jipsen P.，Kowalski T.，Ono H.：剩余格：子结构逻辑的代数一瞥。逻辑和数学基础研究。Elsevier，北荷兰人（2007）·Zbl 1171.03001号
[24] GoréR.：模态和时序逻辑的表方法。收录于：D'Agostino，M.、Gabbay，D.M.、Hähnle，R.、Posegga，J（编辑）《表格方法手册》，第297-396页。Kluwer学术出版社，多德雷赫特（1999）·Zbl 0972.03529号
[25] Herzig A.，Varzinczak I.：行动的元理论：超越一致性。Artif公司。智力。171, 951–984 (2007) ·Zbl 1168.68567号 ·doi:10.1016/j.artint.2007.04.013
[26] 约翰逊·莱德·P.N.：我们如何推理。牛津大学出版社，牛津（2006）
[27] Johnson Laird P.N.，Byrne R.M.J.，Girotto V.：条件句的心理模型理论：对Guy Polizer的回答。托波伊。28, 75–80 (2009) ·doi:10.1007/s11245-008-9049-9
[28] Johnson-Laird P.N.，Savary F.：错觉推理：一类新的错误推论。认知71、191–229（1999）·doi:10.1016/S0010-0277（99）00015-3
[29] 卡普，C.：无限长表达式的语言。北荷兰人（1964年）·Zbl 0127.00901号
[30] Kraus S.、Lehmann D.、Magidor M.：非单调推理、优先模型和累积逻辑。Artif公司。智力。44, 167–207 (1990) ·兹比尔0782.03012 ·doi:10.1016/0004-3702（90）90101-5
[31] Lakemeyer G.：认知视角的相关性。Artif公司。智力。97, 137–167 (1997) ·Zbl 0904.68162号 ·doi:10.1016/S0004-3702（97）00038-6
[32] Lang J.，Liberatore P.，Marquis P.：命题独立性：公式变量独立性和遗忘。J.阿蒂夫。智力。第18号决议，391–443（2003年）·Zbl 1056.68112号
[33] Lin，F.：在指定行为的间接影响时，拥抱因果关系。摘自：Mellish，C.（ed）《第十四届国际人工智能联合会议（IJCAI）会议记录》，第1985-1991页。摩根考夫曼出版社（1995）
[34] 林·F·赖特·R：算了吧！摘自：《AAAI秋季相关性研讨会论文集》，第154-159页。AAAI（1994）
[35] 梅金森：如何去非单调。摘自：《哲学逻辑手册》，第2版，第12卷，第175-278页。柏林施普林格出版社（2005）
[36] Meyer R.：相关性不能简化为情态。摘自：Anderson，A.R.，Belnap，N.D（eds）《相关性和必要性的逻辑蕴涵》，第1卷，第462-471页。普林斯顿大学出版社，普林斯顿（1975）
[37] Meyer R.：三元关系和相关语义。Ann.纯粹应用。日志。127, 195–217 (2004) ·Zbl 1060.03039号 ·doi:10.1016/j.apal.2003.11.015
[38] 波普尔S.：模态逻辑的第一步。剑桥大学出版社，剑桥（1994）·兹伯利0921.03019
[39] 牧师G：超一致逻辑。在：Gabbay，D.M.，Günthner，F.（编辑）哲学逻辑手册第二版，第6卷，第287–393页。Kluwer学术出版社，多德雷赫特（2002）
[40] 重述G.：相关和子结构逻辑。收录于：Gabbay，D.M.，Woods，J（eds）《二十世纪逻辑逻辑和模态历史手册》，第7卷，第289-398页。爱思唯尔，北荷兰（2006）
[41] Robles G.，Méndez J.：相关逻辑的Routey-Meyer语义，包括TWR和析取三段论。日志。IGPL杂志。19(1), 18–32 (2010) ·兹比尔1218.03023 ·doi:10.1093/jigpal/jzp083
[42] 蒂尔舍尔M.：分枝和因果关系。Artif公司。智力。89(1–2), 317–364 (1997) ·Zbl 1018.03514号 ·doi:10.1016/S0004-3702（96）00033-1
[43] Urquhart A.：相关逻辑的语义。J.符号。日志。37, 159–169 (1972) ·Zbl 0245.02028号 ·doi:10.2307/2272559
[44] Zhang，D.，Foo，N.：EPDL：因果推理逻辑。摘自：Nebel，B.（编辑）《第17届国际人工智能联合会议（IJCAI）会议记录》，第131-138页。Morgan Kaufmann出版社，Menlo Park（2001）
[45] 周瑜、张瑜：部分蕴涵的逻辑研究。J.阿蒂夫。智力。第40、25–56号决议（2011年）·Zbl 1210.68108号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。