Craig's theorem and syntax of abstract logics

Bulletin of the Section of Logic 11 (1-2):82-83 (1982)
  Copy   BIBTEX

Abstract

The Craig Interpolation Theorem is a fundamental property of rst order logic L!!. What happens if we strengthen rst order logic? Second order logic L 2 satises Craig for trivial reasons but on the other hand, L 2 is not very interesting from a fundational point of view

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

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

On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.
On Weak and Strong Interpolation in Algebraic Logics.Gábor Sági & Saharon Shelah - 2006 - Journal of Symbolic Logic 71 (1):104 - 118.
Notes on Craig interpolation for LJ with strong negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.
The Craig interpolation theorem in multi-modal logics.J. X. Madarász - 1995 - Bulletin of the Section of Logic 3 (24):147-151.
Joint Consistency of Fuzzy Theories.Vilém Novák - 2002 - Mathematical Logic Quarterly 48 (4):563-573.

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?

Author's Profile

Jouko A Vaananen
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references