Intermediate logics without the interpolation property

Bulletin of the Section of Logic 6 (4):161-162 (1977)
  Copy   BIBTEX

Abstract

The results were presented at the Seminar of Department of Logic ofJagiellonian University.An intermediate logic L has the Interpolation Property i for every ! 2 L, if V ar() \ V ar() =6 ;, then there exists a formula builtup from variables occurring both in and in such that ! 2 L, ! 2 L denotes the set of all variables occurring in ).The following simple lemma will be used in the sequel:Lemma. If a formula is built up from the variable x only, then ! 2 INT or ::x ! 2 INT.The proof reduces to the easy observation of the Rieger-Nishimura al-gebra

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,314

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Craig's theorem and syntax of abstract logics.Jouko Vaananen - 1982 - Bulletin of the Section of Logic 11 (1-2):82-83.
On regular and symmetric identities II.Ewa Graczynska - 1982 - Bulletin of the Section of Logic 11 (3/4):100-102.
Remarks on uniform interpolation property.Majid Alizadeh - 2024 - Logic Journal of the IGPL 32 (5):810-814.
Remarks on Floyd-Hoare derivability.Laszlo Csirmaz - 1980 - Bulletin of the Section of Logic 9 (3):131-133.
A Modified Subformula Property for the Modal Logic S4.2.Mitio Takano - 2019 - Bulletin of the Section of Logic 48 (1).

Analytics

Added to PP
2015-02-02

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references