A probabilistic interpolation theorem

Journal of Symbolic Logic 50 (3):708-713 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274325

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,813

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 in Computing Science: The Semantics of Modularization.Gerard R. Renardel De Lavalette - 2008 - Synthese 164 (3):437 - 450.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
An interpolation theorem.Martin Otto - 2000 - Bulletin of Symbolic Logic 6 (4):447-462.
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
A normal form theorem for lω 1p, with applications.Douglas N. Hoover - 1982 - Journal of Symbolic Logic 47 (3):605 - 624.

Analytics

Added to PP
2009-01-28

Downloads
14 (#1,014,395)

6 months
1 (#1,507,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Craig interpolation for networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2012 - Annals of Pure and Applied Logic 163 (9):1322-1344.

Add more citations

References found in this work

Probability logic.Douglas N. Hoover - 1978 - Annals of Mathematical Logic 14 (3):287.

Add more references