An interpolation theorem in many-valued logic

&
Journal of Symbolic Logic 51 (2):448-452 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274068

Other Versions

No versions found

Links

PhilArchive



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

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

The Craig-Lyndon interpolation theorem in 3-valued logic.R. R. Rockingham Gill - 1970 - Journal of Symbolic Logic 35 (2):230-238.
Consequence and Interpolation in Łukasiewicz Logic.Daniele Mundici - 2011 - Studia Logica 99 (1-3):269-278.
Interpolation for first order S5.Melvin Fitting - 2002 - Journal of Symbolic Logic 67 (2):621-634.
On the interpolation theorem for the logic of constant domains.E. G. K. López-Escobar - 1981 - Journal of Symbolic Logic 46 (1):87-88.
A probabilistic interpolation theorem.Douglas N. Hoover - 1985 - Journal of Symbolic Logic 50 (3):708-713.
A Non-Interpolation Theorem.E. G. K. Lopez-Escobar - 1975 - Journal of Symbolic Logic 40 (3):457-458.
A second paper "on the interpolation theorem for the logic of constant domains".E. G. K. López-Escobar - 1983 - Journal of Symbolic Logic 48 (3):595-599.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
Craig interpolation theorem for intuitionistic logic and extensions part III.Dov M. Gabbay - 1977 - Journal of Symbolic Logic 42 (2):269-271.

Analytics

Added to PP
2009-01-28

Downloads
31 (#731,185)

6 months
14 (#233,812)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien

Add more citations

References found in this work

No references found.

Add more references