Lyndon’s interpolation property for the logic of strict implication

DOI10.1093/JIGPAL/JZAA029zbMath1494.03029OpenAlexW3083000265MaRDI QIDQ5066799

Narbe Aboolian, Majid Alizadeh

Publication date: 30 March 2022

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

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

zbMATH Keywords

cut eliminationsequent calculussubintuitionistic logicCraig's interpolationGödel-translationLyndon's interpolation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Interpolation, preservation, definability (03C40) Subsystems of classical logic (including intuitionistic logic) (03B20)

This page was built for publication: Lyndon’s interpolation property for the logic of strict implication