Unification with parameters in the implication fragment of Classical Propositional Logic - Logique, Interaction, Langue et Calcul Accéder directement au contenu
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.

Domaines

Logique en informatique [cs.LO]
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)

Philippe Balbiani  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-03248073

Soumis le : jeudi 3 juin 2021-13:00:29

Dernière modification le : lundi 20 novembre 2023-11:44:23

Archivage à long terme le : samedi 4 septembre 2021-18:38:10

Télécharger pour visualiser

Dates et versions

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

Identifiants

Citer

Philippe Balbiani, Mojtaba Mojtahedi. Unification with parameters in the implication fragment of Classical Propositional Logic. Logic Journal of the IGPL, 2021, ⟨10.1093/jigpal/jzab014⟩. ⟨hal-03248073⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-TLSE2 CNRS SMS UT1-CAPITOLE IRIT IRIT-LILAC IRIT-IA TOULOUSE-INP UNIV-UT3 UT3-TOULOUSEINP
43 Consultations
125 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More