Skip to Main content Skip to Navigation
Journal articles

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.
Document type :
Journal articles
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03248073
Contributor : Philippe Balbiani Connect in order to contact the contributor
Submitted on : Thursday, June 3, 2021 - 1:00:29 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:27 AM
Long-term archiving on: : Saturday, September 4, 2021 - 6:38:10 PM

File

TYPE_IF_BL_FINITARY_8.pdf
Files produced by the author(s)

Identifiers

Citation

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

Share

Metrics

Record views

37

Files downloads

82