缺省逻辑间的双射忠实翻译

在本文中，我们研究缺省逻辑变体之间的翻译，使得作为翻译输入与输出的理论的扩展之间存在双射对应关系。我们假设翻译可以引入新变量，并且翻译理论的结果可以在相对于理论规模的多项式时间内生成，或者其输出规模是该规模的多项式；然而，我们将其限制于原始理论具有扩展的情况。本研究填补了先前两项工作之间的空白，其中一项研究缺省逻辑限制之间的双射翻译，另一项研究缺省逻辑变体之间的非双射翻译。