Lyndon’s interpolation property for the logic of strict implication

DOI10.1093/jigpal/jzaa029zbMath1494.03029MaRDI QIDQ5066799

Majid Alizadeh, Narbe Aboolian

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 elimination; sequent calculus; subintuitionistic logic; Craig's interpolation; Gödel-translation; Lyndon's interpolation

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03F05: Cut-elimination and normal-form theorems

03C40: Interpolation, preservation, definability

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