多米尼克·韦尔;多米尼克·柯斯特 建构型理论中一阶逻辑的实质对话。 （英语） Zbl 07691333号 Ciabattoni，Agata（编辑）等人，《逻辑、语言、信息和计算》。第28届国际研讨会，WoLLIC 2022，Iași，罗马尼亚，2022年9月20日至23日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13468, 344-361 (2022).MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Wehr}和\textit{D.Kirst}，莱克特。注释计算。科学。13468、344--361（2022；Zbl 07691333） 全文： 内政部
扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 构造型理论分析了一阶逻辑的完备性定理。扩展版本。 （英语） Zbl 07471462号 J.日志。计算。 第112-151号第31页（2021）.MSC公司：03楼50 03B35型 03B38型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Forster}等人，J.Log。计算。31，编号1，112--151（2021；Zbl 07471462） 全文： 内政部
扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 构造型理论分析了一阶逻辑的完备性定理。 （英语） Zbl 1485.03248号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。国际研讨会，LFCS 2020，美国佛罗里达州迪尔菲尔德海滩，2020年1月4日至7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11972, 47-74 (2020).MSC公司：03楼50 03B35型 03B38型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Forster}等人，Lect。注释计算。科学。11972，47-74（2020；Zbl 1485.03248） 全文： 内政部 arXiv公司