Unification with parameters in the implication fragment of classical propositional logic

DOI10.1093/JIGPAL/JZAB014MaRDI QIDQ5092561zbMATH OpenOpenAlexFDO

Authors 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)

Cited in

(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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5092561)