In this paper, we show that the implication fragment of classical propositional logic is finitary for unification with parameters.

中文翻译：

---

经典命题逻辑蕴涵片段中的参数统一

在本文中，我们证明了经典命题逻辑的蕴涵片段对于与参数的统一是有限的。