×
阿诺·阿夫隆

\（\mathbf{RM}\）及其良好的属性。 （英语） Zbl 1439.03047号

Bimbó，Katalin（编辑），J.Michael Dunn关于基于信息的逻辑。查姆：斯普林格。Outst公司。控制日志。8, 15-43 (2016).
摘要：Dunn-McCall逻辑（mathbf{RM}）是迄今为止由Anderson和Belnap学派开发的逻辑家族中最容易理解和表现最良好的逻辑。然而，相关逻辑学家并不认为它是一个相关的逻辑，因为它不具有可变共享特性。相反，（mathbf{RM}）通常被描述为“半相关”，而没有解释这个概念的含义。本文提出了一个似是而非的半相关定义，并证明了根据它，（mathbf{RM}）是一个具有合取、析取和蕴涵的强极大半相关逻辑。我们还回顾并证明了\（mathbf{RM}\）的最重要的优良性质，特别是关于它的强完备性结果（其完整证明在文献中很难找到）。
关于整个系列，请参见[Zbl 1343.03001号].

引用于10文件

MSC公司：

03B47号 子结构逻辑（包括关联、蕴涵、线性逻辑、Lambek微积分、BCK和BCI逻辑）
03B52号 模糊逻辑；模糊逻辑
03B53号 准一致逻辑

关键词：

真实程度;模糊逻辑;次协调逻辑;相关逻辑;半相关性
PDF格式BibTeX公司 XML格式引用
\textit{A.Avron}，Outst（奥斯特）。控制日志。8、15--43（2016；Zbl 1439.03047）
全文： 内政部

参考文献：

[1] Anderson，A.R.和Belnap，N.D.（1975年）。隐含：关联性和必然性的逻辑（第一卷）。普林斯顿：普林斯顿大学出版社·Zbl 0323.02030号
[2] Avron，A.（1984）。相关隐含理论和正式制度。符号逻辑杂志，49，334-342·Zbl 0586.03017号 ·doi:10.2307/2274169
[3] Avron，A.（1986年）。关于RM的一个蕴涵连接词。《圣母院形式逻辑杂志》，27201-209·Zbl 0613.03003号 ·doi:10.1305/ndjfl/1093636612
[4] Avron，A.（1987）。《符号逻辑杂志》，52，939-951·Zbl 0639.03017号 ·doi:10.2307/2273828
[5] Avron，A.（1997）。乘法连词作为扩展连词。IGPL逻辑杂志，5181-208·兹比尔0867.03019 ·doi:10.1093/jigpal/5.2.181
[6] Avron，A.（2014）。什么是关联逻辑？《纯粹逻辑与应用逻辑年鉴》，165，26-48·Zbl 1325.03022号 ·doi:10.1016/j.apal.2013.07.004
[7] Avron，A.和Zamansky，A.（2011年）。逻辑系统的非确定性语义——综述，In D.Gabbay&F.Guenthner（Eds.），《哲学逻辑手册》（第二版，第16卷，第227-304页）。斯普林格。
[8] Brady，R.T.（1990）。《RW的绅士化和可判定性》，《哲学逻辑杂志》，第19期，第35-73页·Zbl 0697.03006号 ·doi:10.1007/BF00211185
[9] Cintula，P.、Hájek，P.和Noguera，C.（2011年）。《数学模糊逻辑手册》，《逻辑研究》第37-38卷，大学出版社·Zbl 1283.03002号
[10] Dunn，J.M.（1970）。R-Mingle及其扩展的代数完备性结果。符号逻辑杂志，35，1-13·Zbl 0231.02024 ·doi:10.2307/2271149
[11] Dunn，J.M.和Meyer，R.K.（1971年）。Dummett的LC及其扩展的代数完备性结果。Zeitschrift für mathematische Logik und Grundlagen der Mathematik，第17225-230页·Zbl 0252.02018号 ·doi:10.1002/malq.19710170126
[12] Dunn，J.M.和Restall，G.（2002）。相关性逻辑。D.Gabbay和F.Guenthner（编辑），《哲学逻辑手册》（第二版，第6卷，第1-128页）。阿姆斯特丹：Kluwer·Zbl 1065.03002号 ·doi:10.1007/978-94-017-0460-1_1
[13] Ło shi，J.和Suszko，R.（1958年）。关于句子逻辑的评论。Indagationes Mathematicae，第20期，第177-183页·Zbl 0092.24802号
[14] Meyer，R.K.和Dunn，J.M.（1969年）。E、 R和\（\gamma\）。符号逻辑杂志，34460-474·兹伯利0274.02008 ·doi:10.2307/2270909
[15] Parks，R.Z.（1972年）。关于R-Mingle和Sobocinnski三值逻辑的注记。《圣母院形式逻辑杂志》，第13期，第227-228页·Zbl 0214.00902号 ·doi:10.1305/ndjfl/1093894720
[16] 斯莱尼，J.K.（2010）。模糊逻辑。《澳大利亚逻辑杂志》，8100-134·Zbl 1330.03064号
[17] Sugihara，T.（1955年）。没有含蓄悖论的严格含蓄。福井大学文学院回忆录，系列，1（4），55-59。
[18] Urquhart，A.（1984）。蕴涵的不可判定性及相关蕴涵。符号逻辑杂志，491059-1073·Zbl 0581.03011号 ·doi:10.2307/2274261
[19] A.厄克哈特。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。