Unification with parameters in the implication fragment of classical propositional logic

Abstract

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