If you need an accessible version of this item please contact JSTOR User Support

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
  • Download PDF
  • Cite this Item

You are not currently logged in.

Access your personal account or get JSTOR access through your library or other institution:

login

Log in to your personal account or through your institution.

If you need an accessible version of this item please contact JSTOR User Support
Interpolation in Fragments of Intuitionistic Propositional Logic
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.

Page Thumbnails

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