迈克尔·麦克罗比。 自动推理和非经典逻辑：导论。 （英语） Zbl 0729.03505号 J.汽车。推理 7，第4期，447-451（1991）. MSC公司： 03B35型 证明和逻辑操作的机械化 03-04 与数学逻辑和基础有关的问题的软件、源代码等 第68页第15页 定理证明（演绎、解析等）（MSC2010） 软件：鲁奥 PDF格式BibTeX公司 XML格式引用 \textit{M.A.McRobbie}，J.Autom。推理7，No.4，447--451（1991；Zbl 0729.03505） 全文： 内政部 参考文献： [1] Anderson A.R.和Belnap N.D.Jr.，《牵连：相关性和必要性的逻辑》，第1卷，普林斯顿大学，新泽西州普林斯顿（1975）·Zbl 0323.02030号 [2] Girard J.Y.，“线性逻辑”，理论。计算。科学。，50, 1–102 (1987). ·Zbl 0625.03037号 ·doi:10.1016/0304-3975（87）90045-4 [3] 克内尔·W·和克内尔·M·，《逻辑的发展》，牛津大学出版社，伦敦，1962年·Zbl 0100.00807号 [4] Lusk，E.L.、McCune，W.W.和Slaney，J.K.，《非正式程序》中的“ROO–平行定理证明器”。国际广播公司。与IJCAI-91联合举办的人工智能并行处理研讨会（L.N.Kanal和C.B.Suttner编辑），澳大利亚悉尼，第110–116页（dy1991）。 [5] McRobbie M.A.、Meyer R.K.和Thistlewaite P.B.，“为非标准逻辑实现高效的基于知识的自动化定理证明”，in Proc。第九届国际。Conf.Automated Deduction（编辑E.Lusk和R.Overbeek），《计算机科学讲义》，第310卷，柏林斯普林格，第197-217页（1988年）·Zbl 0651.03005号 [6] Meyer R.K.，“RI–有限性的边界”，Z.Math。Logik Grundlag公司。数学。16, 385–387 (1970). ·Zbl 0206.27501号 ·doi:10.1002/malq.19700160703 [7] Morgan C.，“非经典逻辑中自动定理证明的方法”，IEEE Trans。计算。，C-25852-862（1976年）·Zbl 0329.68074号 ·doi:10.1109/TC.1976.1674704 [8] Ohlbach H.-J.，“模态逻辑的解析演算”，SEKI报告SR-88-08，德国凯泽斯劳滕大学Fachbereich Informatik人工智能实验室（1988）·Zbl 0647.03010号 [9] Slaney J.K.，“3088变种：阿克曼常数问题的解决方案”，J.符号逻辑50，487-501（1984）·兹伯利0576.03015 [10] Thistlewaite P.B.、McRobbie M.A.和Meyer R.K.，《非经典逻辑中的自动定理证明》，Pitman，伦敦和Wiley，纽约（1988）·Zbl 0682.68097号 [11] Wallen L.A.，“模态逻辑的矩阵证明方法”，IJCAI 87:Proc。第十届国际米兰。人工智能联合会议，卷。1和2，Morgan Kaufmann，Los Altos（1987）·Zbl 0639.5208号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。