Generalized interpolation and definability

Annals of Mathematical Logic 1 (4):423 (1970)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(70)90003-3

Links

PhilArchive



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

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

Generalized Interpolation and Definability.E. G. K. López-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
Review: David W. Kueker, Generalized Interpolation and Definability. [REVIEW]E. G. K. Lopez-Escobar - 1974 - Journal of Symbolic Logic 39 (2):337-338.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Interpolation and definability in abstract logics.Finn V. Jensen - 1974 - Synthese 27 (1-2):251 - 257.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
Characterizing Definability of Second-Order Generalized Quantifiers.Juha Kontinen & Jakub Szymanik - 2011 - In L. Beklemishev & R. de Queiroz (eds.), Proceedings of the 18th Workshop on Logic, Language, Information and Computation, Lecture Notes in Artificial Intelligence 6642. Springer.
Beth definability, interpolation and language splitting.Rohit Parikh - 2011 - Synthese 179 (2):211 - 221.
Interpolation and Definability in Guarded Fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373-409.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Definability of Second Order Generalized Quantifiers.Juha Kontinen - 2004 - Dissertation,
The many faces of interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
An Institution-independent Proof of the Beth Definability Theorem.M. Aiguier & F. Barbier - 2007 - Studia Logica 85 (3):333-359.
Directions in Generalized Quantifier Theory.Dag Westerståhl & J. F. A. K. van Benthem - 1995 - Studia Logica 55 (3):389-419.
Definability and Interpolation in Non-Classical Logics.Larisa Maksimova - 2006 - Studia Logica 82 (2):271-291.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.

Analytics

Added to PP
2014-01-17

Downloads
11 (#1,075,532)

6 months
2 (#1,157,335)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Toward model theory through recursive saturation.John Stewart Schlipf - 1978 - Journal of Symbolic Logic 43 (2):183-206.
Constituents and finite identifiability.Jaakko Hintikka - 1972 - Journal of Philosophical Logic 1 (1):45 - 52.
Defining algebraic elements.Paul D. Bacsich - 1973 - Journal of Symbolic Logic 38 (1):93-101.

View all 9 citations / Add more citations

References found in this work

An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.

View all 10 references / Add more references