奥费尔·阿列利;博格,安妮玛丽;杰西·海因尼克;克里斯蒂安·斯特拉瑟 基于逻辑的形式论证方法。 (英语) 兹比尔1516.68086 J.应用。日志。-IfCoLog J.日志。申请。 第8期,第6期,1793-1898(2021).MSC公司:68T27型 PDF格式BibTeX公司 XML格式引用 \textit{O.Arieli}等人,J.Appl。日志。-IfCoLog J.日志。申请。1793-1898年第6号第8页(2021年;兹bl 1516.68086)
杰西·海因尼克;克里斯蒂安·斯特拉瑟 基于假设的论证方法与优先级推理的比较研究。 (英语) Zbl 1515.68305号 J.应用。日志。-IfCoLog J.日志。申请。 8,第3期,737-808(2021).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Heyninck}和\textit{C.Strasser},J.Appl。日志。-IfCoLog J.日志。申请。8,编号3,737--808(2021;Zbl 1515.68305)
贝伦,马修;杰西·海因尼克;佩雷·帕尔多;克里斯蒂安·斯特拉 正式论证中的论证强度。 (英语) Zbl 1514.68276号 J.应用。日志。-IfCoLog J.日志。申请。 5,第3号,629-675(2018).MSC公司:68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Beirlaen}等人,J.Appl。日志。-IfCoLog J.日志。申请。5,第3号,629--675(2018;Zbl 1514.68276)