一篇新的预印本论文提倡在形式化推理中采用逻辑多元论，并提出了 LogiKEy 方法论作为统一框架。该论文反对“逻辑帝国主义”，即坚持单一基础逻辑的做法，认为这阻碍了跨学科知识的再利用。论文强调了过去二十年来在经典高阶逻辑中嵌入非经典逻辑的研究，以此作为该方法论的基础。 AI
影响 提倡灵活的逻辑框架在人工智能中的应用，可能促进更广泛的跨学科应用。
排序理由 该集群包含一篇学术论文的预印本，讨论了一种新的形式化推理方法论。
AI 生成摘要 · Google Gemini · 来自 3 个来源。 我们如何撰写摘要 →
完整方法见我们的编辑标准。
arXiv:2605.27246v1 Announce Type: cross Abstract: This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired t…
This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired the LogiKEy logic-pluralistic knowledge representat…
This position statement looks back on two decades of work on shallow embeddings of non-classical logics in classical higher-order logic (HOL), a line of research that expanded into a range of logic embeddings in HOL and inspired the LogiKEy logic-pluralistic knowledge representat…