沃尔特·卡尼埃利;马塞洛·科尼格里奥（Marcelo E.Coniglio）。;福恩市长，大卫 替换丰富了形式不一致的逻辑：代数和模态解释。 （英语） Zbl 1532.03023号 版本符号。日志。 15，编号3，771-806（2022）.MSC公司：03B45号 03G25号 03B62号 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{W.Carnielli}等人，Rev.Symb。日志。15，编号3，771--806（2022；Zbl 1532.03023） 全文： 内政部 arXiv公司
安德烈·维希涅夫斯基 对证明和反驳的统一描述。 （英语） Zbl 07585089号 Urbaánski，Mariusz（编辑）等人，《推理：游戏、认知、逻辑》。波兹南推理周多会议记录，波兰波兹南，2018年9月11日至15日。伦敦：学院出版物。螺柱日志。（伦敦）83，181-188（2020）。MSC公司：03B22号 03财年03 PDF格式BibTeX公司 XML格式引用 \textit｛A.Wiśniewski｝，螺柱日志。（伦敦）83，181--188（2020；Zbl 07585089）
马里奥·阿尔维亚诺;卡明·多达罗;约翰·费希特。;马库斯·赫彻;托拜厄斯·菲利普;雅各布·拉特 ASP的不一致性证明：ASP-DRUPE格式。 （英语） 兹比尔1434.68065 理论与实践。日志。程序。 19，编号5-6，891-907（2019）.MSC公司：68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Alviano}等人，《理论与实践》。日志。程序。19，编号5--6，891--907（2019；Zbl 1434.68065） 全文： 内政部 arXiv公司
朱塞佩·尼斯蒂克 用普通数学逻辑分析量子力学中的非局部性证明。 （英语） Zbl 1302.81023号 国际J.Theor。物理学。 53，第10号，3475-3487（2014）.MSC公司：81第05页 81页40页 03B05号 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{G.Nistic“}，国际期刊Theor。物理学。53，第10号，3475--3487（2014；Zbl 1302.81023） 全文： 内政部
迪德里克·巴滕斯;蒂莫西·弗梅尔 Rescher-Manor因果关系的直接动力学证明：平面情况。 （英语） Zbl 1185.03043号 J.应用。非类别。日志。 12，第1期，63-84（2002）.MSC公司：03B53号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit｛D.Batens｝和\textit｛T.Vermeir｝，J.Appl。非类别。日志。12，编号1，63--84（2002；Zbl 1185.03043） 全文： 内政部
迪德里克·巴滕斯;Meheus，笑话 自适应逻辑表方法中的快捷方式和动态标记。 （英语） Zbl 0991.03013号 螺柱日志。 69，第2期，221-248（2001）.MSC公司：03B35型 03B53号 03B60号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{D.Batens}和\textit{J.Meheus}，Stud.Log。69，第2号，221--248（2001；Zbl 0991.03013） 全文： 内政部
叶夫根·马卡洛夫 具有自由等式的遗传Harrop公式的一个证明过程。 （英语） Zbl 0888.03017号 Adian，S.（编辑）等人，《计算机科学的逻辑基础》。第四届国际研讨会，1997年7月6日至12日，俄罗斯雅罗斯拉夫尔LFCS’97。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1234203-213（1997年）。MSC公司：03B70号 68N17号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{E.Makarov}，莱克特。注释计算。科学。1234203--213（1997；Zbl 0888.03017）
Barwise，乔恩;约翰·埃切曼迪 适用于Macintosh的超防。节目由杰拉德·奥尔温（Gerard Allwein）、马克·格里夫斯（Mark Greaves）和迈克尔·伦茨（Michael Lenz）主持。包括1个磁盘。 （英语） Zbl 0860.03004号 CSLI课堂讲稿. 42. 加州斯坦福：CSLI，语言与信息研究中心。xvii，255页（1994年）。 审核人：V.Ya.公司。克雷诺维奇（埃尔帕索） MSC公司：03-01 03-04 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.Barwise}和\textit{J.Etchemendy}，Macintosh的超证明。节目由杰拉德·奥尔温（Gerard Allwein）、马克·格里夫斯（Mark Greaves）和迈克尔·伦茨（Michael Lenz）主持。包括1个磁盘。加利福尼亚州斯坦福：CSLI，语言与信息研究中心（1994；Zbl 0860.03004）
阿尔伯特·维瑟 微小的不一致性是无法克服的。关于局部和全局可解释性的研究。 （英语） Zbl 0795.03080号 架构（architecture）。数学。逻辑 32，第4号，275-298（1993）. 审核人：M.Yasuhara（普林斯顿） MSC公司：20层03 35层03 30楼03号 PDF格式BibTeX公司 XML格式引用 \textit{A.Visser}，拱门。数学。逻辑32，No.4，275--298（1993；Zbl 0795.03080） 全文： 内政部
沃尔特·亚历山大·卡尼埃利;马梅德，利马马克斯 不一致知识下的推理。 （英语） Zbl 0807.03015号 J.应用。非类别。日志。 2，第1期，49-79（1992）.MSC公司：03B53号 68立方英尺 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.A.Carnielli}和\textit{M.Lima-Marques}，J.Appl。非类别。日志。2，编号1，49--79（1992；Zbl 0807.03015）
迈克尔·基弗;埃利泽·洛津斯基。 不一致推理的逻辑。 （英语） Zbl 0807.03019号 J.汽车。推理 9，第2期，179-215（1992）.MSC公司：03B60号 68立方英尺 68T27型 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kifer}和\textit{E.L.Lozinskii}，J.Autom。推理9，No.2，179--215（1992；Zbl 0807.03019） 全文： 内政部
迈克尔·基弗;埃利泽·洛津斯基。 RI：一种不一致推理的逻辑。 （英语） Zbl 0717.03005号 计算机科学中的逻辑，Proc。第四届年度交响乐团。，Pacific Grove/CA（美国）1989，253-262（1989）。MSC公司：03B53号 68T27型 03B35型 PDF格式BibTeX公司 XML格式
薄荷，G.E。 逻辑编程的某些形式系统。 （俄语。英文摘要） Zbl 0648.68102号 Kibernetika岛 23，第6号，97-98（1987）.MSC公司：68吨15 03B35型 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{G.E.造币厂}，Kibernetika 23，No.6，97--98（1987；Zbl 0648.68102）
M.W.邦德。 推理组合逻辑中的一些一致性证明和不一致性证明的一个特征。 （英语） Zbl 0614.03015号 J.塞姆。日志。 52, 89-110 (1987).MSC公司：03B40型 05年3月 07年3月 03楼55 PDF格式BibTeX公司 XML格式引用 \textit{M.W.Bunder}，J.Symb。日志。52、89——110（1987；Zbl 0614.03015） 全文： 内政部
伊万·克拉莫西尔;Šindelář，一月 Herbrand宇宙上概率搜索算法的计算复杂性。 （英语） Zbl 0561.68062号 计算。Artif公司。智力。 4, 97-108 (1985).MSC公司：68吨15 03B35型 03B10号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Kramosil}和\textit{J.Šindelá}，计算。Artif公司。智力。4、97--108（1985年；Zbl 0561.68062）
于加夫里连科。五、。 可及数的单调理论。 （英语。俄文原件） Zbl 0581.03040号 苏联。数学。，多克。 2415-419（1984年）; Dokl翻译。阿卡德。Nauk SSSR 276，18-22（1984）。MSC公司：20层03 PDF格式BibTeX公司 XML格式引用 \textit{Yu.V.Gavrilenko}，苏联。数学。，多克。29415--419（1984；Zbl 0581.03040）；Dokl翻译。阿卡德。瑙克SSSR 276，18-22（1984）