摘要：偏极化演绎模块化：一个扩展的演绎模块化方法来表达理论，其中某些规则只能在正出现时使用，而其他规则只能在负出现时使用。我们展示了命题演算中的所有理论都可以在这个框架中表达，并且这些理论总是可以通过这种方法消除剪切。
作者：Gilles Dowek (LOGICAL)
论文ID：2305.15780
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-05-26
PDF 下载： 英文版 中文版pdf翻译中