Skip to main content

Interpolation and definability in abstract logics

Abstract

A semantical definition of abstract logics is given. It is shown that the Craig interpolation property implies the Beth definability property, and that the Souslin-Kleene interpolation property implies the weak Beth definability property. An example is given, showing that Beth does not imply Souslin-Kleene.

This is a preview of subscription content, access via your institution.

Bibliography

  • Lindström, P., ‘On Extensions of Elementary Logic’,Theoria 3a (1969) 1–11.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Jensen, F.V. Interpolation and definability in abstract logics. Synthese 27, 251–257 (1974). https://doi.org/10.1007/BF00660898

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00660898

Keywords

  • Interpolation Property
  • Abstract Logic
  • Semantical Definition
  • Craig Interpolation
  • Craig Interpolation Property