That SCI has the interpolation property

&
Studia Logica 41 (4):375 - 380 (1982)
  Copy   BIBTEX

Abstract

Proofs of two interpolation theorems for Sentential Calculus with Identity as well as some general comments on sentential interpolation are given.

Categories

Keywords

Reprint years

DOI

10.1007/bf00403337

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

A note on the interpolation property in tense logic.Frank Wolter - 1997 - Journal of Philosophical Logic 26 (5):545-551.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Sentential logics and Maehara interpolation property.Janusz Czelakowski - 1985 - Studia Logica 44 (3):265 - 283.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.

Analytics

Added to PP
2009-01-28

Downloads
50 (#303,392)

6 months
16 (#136,207)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Grzegorz Malinowski
University of Lodz

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references