Interpolation in non-classical logics

Synthese 164 (3):421 - 435 (2008)
  Copy   BIBTEX

Abstract

We discuss the interpolation property on some important families of non classical logics, such as intuitionistic, modal, fuzzy, and linear logics. A special paragraph is devoted to a generalization of the interpolation property, uniform interpolation.

Links

PhilArchive



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

External links

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

Through your library

Analytics

Added to PP
2009-01-28

Downloads
70 (#234,046)

6 months
3 (#978,111)

Historical graph of downloads
How can I increase my downloads?