Projectivity meets uniform post-interpolant: classical and intuitionistic logic

MaRDI QIDQ6967388zbMATH OpenFDO

Authors Mojtaba Mojtahedi, Konstantinos Papafilippou

Publication date 26 June 2025

zbMATH Keywords

admissible rulesintuitionistic logicprojectivityunificationuniform interpolation

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20)

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