摘要：The Stratified Foundations can be presented in deduction modulo and a pre-model can be constructed for this theory.
作者：Gilles Dowek
论文ID：2305.18837
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-31
PDF 下载： 英文版 中文版pdf翻译中