Article Dans Une Revue Logic Journal of the IGPL Année : 2021

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.

Fichier principal
Vignette du fichier
TYPE_IF_BL_FINITARY_8.pdf (356.88 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-03248073 , version 1 (03-06-2021)

Licence

Identifiants

Citer

Philippe Balbiani, Mojtaba Mojtahedi. Unification with parameters in the implication fragment of Classical Propositional Logic. Logic Journal of the IGPL, 2021, 30 (3), pp.Pages 454-464. ⟨10.1093/jigpal/jzab014⟩. ⟨hal-03248073⟩
127 Consultations
335 Téléchargements

Altmetric

Partager

  • More