马提亚斯·巴兹;蝉蜕、阿加塔;Fermüller，Christian G。 哥德尔逻辑的超序列计算——一项调查。 （英语） Zbl 1051.03046号 J.日志。计算。 13，第6期，835-861（2003）. 这主要是对哥德尔逻辑的Gentzen-style公式（作者称之为哥德尔逻辑）、直觉主义逻辑的扩展（（a\supset B）\vee（B\supset a））以及其他图式的结果（主要由作者完成）的调查。可导对象是超序列，即多序列集，被解释为成员序列的析取。一些新的结果涉及有限值哥德尔逻辑、“投影模态”（Delta）的扩展和一阶扩展。审核人：G.E.Mints（斯坦福） 引用于27文件 MSC公司： 05年3月 切割消除和正规形定理 关键词：调查;哥德尔逻辑;高频率 PDF格式BibTeX公司 XML格式引用 \textit{M.Baaz}等人，J.Log。计算。13，第6号，835--861（2003；Zbl 1051.03046） 全文： DOI程序