吉多·菲奥里诺 直觉主义认知逻辑的线性深度演绎及其子公式性质。 （英语） Zbl 07695706号 J.汽车。推理 67，第1号，第3号论文，28页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.菲奥里诺}，J.Autom。推理67，第1号，第3号论文，28页（2023；Zbl 07695706） 全文： 内政部 arXiv公司
毛罗·法拉利;佛罗伦萨，卡米洛 直觉命题逻辑自然演绎中的面向目标的证明搜索。 （英语） Zbl 1474.03067号 J.汽车。推理 62，第1期，127-167（2019）.MSC公司：03B35型 03B20型 07年3月 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Ferrari}和\textit{C.佛罗伦萨}，J.Autom。推理62，No.1，127--167（2019；Zbl 1474.03067） 全文： 内政部
毛罗·法拉利;佛罗伦萨，卡米洛 经典命题逻辑自然演绎演算中的证明研究。 （英语） Zbl 1471.68308号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9323, 237-252 (2015).MSC公司：68伏15 03B05号 03B35型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{M.费拉里}和\textit{C.佛罗伦萨}，莱克特。注释计算。科学。9323、237--252（2015；Zbl 1471.68308） 全文： 内政部