马丁·菲舍尔;卡洛·尼古莱;巴勃罗·多皮科 具有经典力量的非经典真理。对构图真实性的实证分析。 （英语） Zbl 07689495号 版本符号。日志。 16，编号2，425-448（2023）.MSC公司：03财年03 03B60号 35层03 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fischer}等人，Rev.Symb。日志。16，编号2，425--448（2023；Zbl 07689495） 全文： 内政部 arXiv公司
马丁·菲舍尔 HYPE命题逻辑的序贯计算。 （英语） Zbl 07535454号 双头螺栓日志。 110，编号3，643-677（2022）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit｛M.Fischer｝，螺柱日志。110，编号3，643--677（2022；兹bl 07535454） 全文： 内政部 OA许可证
迈克尔·门德勒;斯蒂芬·谢勒;卢克·伯克 正在建设的多森广场：四种模式的故事。 （英语） Zbl 07532531号 Das，Anupam（编辑）等人，《使用分析表和相关方法的自动推理》。第30届国际会议，2021年9月6日至9日，英国伯明翰，TABLEAUX 2021。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12842, 446-465 (2021).MSC公司：第68卷第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler}等人，Lect。注释计算。科学。12842、446--465（2021；Zbl 07532531） 全文： 内政部