Unification with parameters in the implication fragment of Classical Propositional Logic
Résumé
In this paper, we show that the implication fragment of Classical Propositional Logic is finitary for unification with parameters.
Origine | Fichiers produits par l'(les) auteur(s) |
---|