莱因哈德·马斯肯斯;斯特凡·温斯坦 所有\（\mathrm的分析表{十六}_3\). （英语） Zbl 1345.03050号 J.菲洛斯。日志。 44，第5期，473-487（2015）. 摘要：在本文中，我们给出了一个分析表演算{PL}_{\mathbf{16}}\），用于Shramko和Wansing逻辑的功能完整扩展。微积分基于有符号公式，一组表规则用于公理化所考虑的四个蕴涵关系\（\models_t\）、\（\models_f\）、\models_i\和\（\modules\）中的每一个-这些差异仅存在于公式符号的初始赋值中。证明两组公式处于前三个蕴涵关系中的一个，通常需要开发四个表，而证明它们处于（模型）关系可能需要六个表。 引用于1审查引用于2文件 MSC公司： 03B50号 多值逻辑 03年3月 一般证明理论（包括证明理论语义） 关键词：三边格\（\mathrm{十六}_3\);结石表;功能完整性;真理蕴涵;虚假蕴涵;信息隐含 软件：精益TAP PDF格式BibTeX公司 XML格式引用 \textit{R.Muskens}和\textit{S.Wintein}，J.Philos。日志。44，第5号，473--487（2015；Zbl 1345.03050） 全文： 内政部 参考文献： [1] Baaz，M.、Fermüller，C.、Zach，R.（1994）。消除一阶有限值逻辑中的割集。信息处理与控制论杂志，29，333-355·Zbl 0821.03013号 [2] Beckert，B.和Posegga，J.（1995）。leanTAP：基于精益表的演绎。自动推理杂志，15（3），339-358。http://web.sec.uni-passau.de/papers/LeanTaP.pdf。 ·Zbl 0838.68097号 ·doi:10.1007/BF00881804 [3] 北卡罗来纳州贝尔纳普；Ryle，G.（编辑），《计算机应该如何思考》，30-56（1976），斯托克斯菲尔德 [4] 北卡罗来纳州贝尔纳普；Dunn，J.（编辑）；爱泼斯坦·G（编辑），《有用的四值逻辑》，8-37（1977），多德雷赫特·Zbl 0424.03012号 [5] Kamide，N.和Wansing，H.（2009年）。一些三格逻辑的序贯计算。符号逻辑评论，2（2），374-395·Zbl 1174.03008号 ·doi:10.1017/S1755020309090212 [6] 兰霍姆，T。；Doherty，P.（编辑），部分逻辑有何不同？，3-43（1996），斯坦福·Zbl 0904.03012号 [7] Muskens，R.A.（1995年）。意义和偏见。斯坦福大学：CSLI。 [8] Muskens，R.A.（1999）。关于部分逻辑和次协调逻辑。《圣母院形式逻辑杂志》，40（3），352-374·Zbl 1007.03029号 ·doi:10.1305/ndjfl/1022615616 [9] Odintsov，S.（2009）。论Shramko-Wansing逻辑的公理化。Studia Logica，91407-428·Zbl 1170.03014号 ·doi:10.1007/s11225-009-9181-6 [10] Odintsov，S.和Wansing，H.（2014）。广义真值逻辑和双参数逻辑。在Studia Logica·Zbl 1364.03036号 [11] Rivieccio，U.（2013年）。交错三格的表示。应用逻辑杂志，1174-189·Zbl 1284.03282号 ·doi:10.1016/j.jal.2013.03.001 [12] 卢梭，G.（1967）。多值逻辑序列I.数学基础，60，23-33·Zbl 0154.25504号 [13] Schröter，K.（1955年）。Methoden zur Axiomatisierung beliebiger Aussagen-und Prädikatenkalküle方法。Zeitschrift für mathematische Logik und Grundlagen der Mathematik，1241-251·Zbl 0066.25604号 ·doi:10.1002/malq.19550010402 [14] Shramko，Y.和Wansing，H.（2005）。一些有用的16值逻辑：计算机网络应该如何思考。哲学逻辑杂志，34，121-153·Zbl 1094.03012号 ·doi:10.1007/s10992-005-0556-5 [15] Shramko，Y.和Wansing，H.（2011年）。真理与谬误：对广义逻辑价值的探讨。逻辑趋势第36卷：施普林格·Zbl 1251.03002号 [16] Wansing，H.（2009）。Belnap的力量：SIXTEN3的序列系统。哲学逻辑杂志，39369-393·Zbl 1200.03019号 ·doi:10.1007/s10992-010-9139-1 [17] Wansing，H.（2012）。对逻辑真理和谬误的非干涉主义、反现实的概念。托波伊，3193-100·Zbl 1308.03033号 ·doi:10.1007/s11245-011-9111-x [18] Wansing，H.和Kamide，N.（2010年）。直觉主义三格逻辑。逻辑与计算杂志，20（6），1201-1229·Zbl 1205.03034号 ·doi:10.1093/log.com/exp081 [19] Wintein，S.和Muskens，R.A.（2012年）。Belnap逻辑的一种微积分，其中每个证明都由两棵树组成。逻辑与分析，220，643-656·Zbl 1301.03058号 [20] Wintein，S.和Muskens，R.A.（2014年）。从双面真理到双面证明。Studia Logica公司。在线优先·Zbl 1378.03016号 [21] 扎克·R（1993）。有限值逻辑的证明理论。技术报告TUW-E185.2-Z.1-93。维也纳理工大学计算机研究所·Zbl 1174.03008号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。