## Access

You are not currently logged in.

Access JSTOR through your library or other institution:

## If You Use a Screen Reader

This content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Journal Article

# Interpolation in Fragments of Intuitionistic Propositional Logic

Gerard R. Renardel de Lavalette
The Journal of Symbolic Logic
Vol. 54, No. 4 (Dec., 1989), pp. 1419-1430
DOI: 10.2307/2274823
Stable URL: http://www.jstor.org/stable/2274823
Page Count: 12
Preview not available

## Abstract

We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or ¬¬ are briefly considered.

• 1419
• 1420
• 1421
• 1422
• 1423
• 1424
• 1425
• 1426
• 1427
• 1428
• 1429
• 1430