A Note On The Interpolation Theorem In First Order Logic

Mathematical Logic Quarterly 28 (14-18):215-218 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.19820281405

Other Versions

original Weaver, George (1982) "A Note on the Interpolation Theorem in First Order Logic". Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28(14-18):215-218

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

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 Theorem in First Order Logic.George Weaver - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18):215-218.
A Note on the Compactness Theorem in First Order Logic.George Weaver - 1980 - Mathematical Logic Quarterly 26 (7-9):111-113.
An Interpolation Theorem for First Order Logic with Infinitary Predicates.Tarek Sayed-Ahmed - 2007 - Logic Journal of the IGPL 15 (1):21-32.
Interpolation for first order S5.Melvin Fitting - 2002 - Journal of Symbolic Logic 67 (2):621-634.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed-Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
New sequent calculi for Visser's Formal Propositional Logic.Katsumasa Ishii - 2003 - Mathematical Logic Quarterly 49 (5):525.
A note on infinitary continuous logic.Stefano Baratella - 2015 - Mathematical Logic Quarterly 61 (6):448-457.
A note on the compactness theorem.R. R. Rockingham Gill - 1975 - Mathematical Logic Quarterly 21 (1):377-378.

Analytics

Added to PP
2017-02-21

Downloads
3 (#1,855,626)

6 months
3 (#1,491,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references