Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic

From MaRDI portal

Jump to:navigation, search

MaRDI QIDQ6528231arXivFDO

Authors Mojtaba Mojtahedi, Konstantinos Papafilippou

Published in arXiv

This page was built for publication: Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Projectivity_meets_Uniform_Post-Interpolant:_Classical_and_Intuitionistic_Logic&oldid=95470313"