Preservation and Interpolation Through Binary Relations Between Theories

Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 35 (2):169-182 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1002/malq.19890350206

Links

PhilArchive



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

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

Interpolation, preservation, and pebble games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881-903.
Interpolation, Preservation, and Pebble Games.Jon Barwise & Johan van Benthem - 1999 - Journal of Symbolic Logic 64 (2):881 - 903.
Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and (n ‐ 1) II.Gérard Lopez & Claire Rauzy - 1992 - Mathematical Logic Quarterly 38 (1):157-168.
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
Interpolation and Preservation in.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
Uniform Short Proofs for Classical Theorems.Kees Doets - 2001 - Notre Dame Journal of Formal Logic 42 (2):121-127.
Reconstruction of binary relations from their restrictions of cardinality 2, 3, 4 and (n ‐ 1) I.Gérard Lopez & Claire Rauzy - 1992 - Mathematical Logic Quarterly 38 (1):27-37.
Positive fragments of relevance logic and algebras of binary relations.Robin Hirsch & Szabolcs Mikulás - 2011 - Review of Symbolic Logic 4 (1):81-105.
Interpolation and Preservation in ${\cal M\kern-1pt L}{\omega1}$.Holger Sturm - 1998 - Notre Dame Journal of Formal Logic 39 (2):190-211.
Interpolation in non-classical logics.Giovanna D’Agostino - 2008 - Synthese 164 (3):421 - 435.
Intertheory relations from unified theories.Gebhard Geiger - 1991 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 22 (2):263-282.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
On Some Generalizations of the Concept of Partition.Marek Nowak - 2014 - Studia Logica 102 (1):93-116.
Some interpolation theorems for first-order formulas in which all disjunctions are binary.M. R. Krom - 1968 - Logique Et Analyse 43 (196):8.

Analytics

Added to PP
2013-12-01

Downloads
27 (#585,141)

6 months
2 (#1,192,610)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Add more citations

References found in this work

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Model Theory.Gebhard Fuhrken - 1976 - Journal of Symbolic Logic 41 (3):697-699.

Add more references