Interpolation in fragments of intuitionistic propositional logic

• 期刊名称The Journal of Symbolic Logic
• 作者de Lavalette, Gerard R. Renardel
• 卷第54卷
• 期第4期
• 印刷ISSN0022-4812
• 电子ISSN1943-5886
• 文件大小652.38KB
• 发表时间1989-12
• DOI10.1017/S0022481200041177
• 页码1419-1430