马提亚斯·巴兹；Fermüller，Christian G。 射影逻辑的分析计算。 （英语） Zbl 0931.03066号 Murray，Neil V.（编辑），使用分析表和相关方法进行自动推理。1999年6月7日至11日，美国纽约州萨拉托加斯普林斯，1999年TABLEAUX国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1617, 36-50 (1999). 投射命题逻辑类是根据语义理论中关联词的真值函数定义的某种格式定义的。所有有限值逻辑，以及无限值哥德尔逻辑都被证明是射影的。分析Gentzen型演算是所有投影逻辑的统一推导。研究了割规则和其他结构规则的可容许性。详细举例说明了哥德尔逻辑的特殊情况，并与Avron以前的方法（基于超序列）进行了比较。关于整个系列，请参见[Zbl 0915.00048号]. 引用于三评论引用于10文件 MSC公司： 03财年03 一般证明理论（包括证明理论语义） 03B50号 多值逻辑 68T27型 人工智能中的逻辑 关键词：投射命题逻辑；真值函数；有限值逻辑；无穷值哥德尔逻辑；Gentzen型结石；投影逻辑；削减规则；结构规则 软件：MUltlog公司 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}和\textit{C.G.Fermüller}，莱克特。注释计算。科学。1617，36--50（1999；Zbl 0931.03066）