@article{e02818cd645845c887a5a5006bfefd10,
title = "Interpolation in Fragments of Intuitionistic Propositional Logic",
abstract = "We show in this paper that all fragments of intuitionistic propositional logic based on a subset of the connective ∧, ∨, →, ¬ satisfy interpolation. Fragments containing ↔ or ¬¬ are briefly considered.",
author = "{Renardel de Lavalette}, {Gerard R.}",
note = "Relation: http://www.rug.nl/informatica/organisatie/overorganisatie/iwi Rights: University of Groningen. Research Institute for Mathematics and Computing Science (IWI)",
year = "1989",
language = "English",
volume = "54",
pages = "1419--1430",
journal = "Journal of Symbolic Logic",
issn = "1943-5886",
publisher = "ASSN SYMBOLIC LOGIC INC",
}