Interpolation properties of superintuitionistic logics

Studia Logica 38 (4):419 - 428 (1979)
  Copy   BIBTEX


A family of prepositional logics is considered to be intermediate between the intuitionistic and classical ones. The generalized interpolation property is defined and proved is the following.Theorem on interpolation. For every intermediate logic L the following statements are equivalent:(i) Craig's interpolation theorem holds in L, (ii) L possesses the generalized interpolation property, (iii) Robinson's consistency statement is true in L.



    Upload a copy of this work     Papers currently archived: 91,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

47 (#324,970)

6 months
11 (#202,259)

Historical graph of downloads
How can I increase my downloads?