Unification with parameters in the implication fragment of classical propositional logic

DOI10.1093/JIGPAL/JZAB014zbMath1494.03025OpenAlexW3152802860MaRDI QIDQ5092561

Philippe Balbiani, Mojtaba Mojtahedi

Publication date: 22 July 2022

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzab014

zbMATH Keywords

classical propositional logicunification typeimplication fragmentunification with parameters

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Related Items (1)

Admissibility and unification in the modal logics related to S4.2

This page was built for publication: Unification with parameters in the implication fragment of classical propositional logic