Abstract
Van Lambalgen (1991) proposed a translation from a language containing a generalized quantifier Q into a first-order language enriched with a family of predicates R i, for every arity i (or an infinitary predicate R) which takes Qxφ(x,y 1,...,y n) to ∀x(R(x, y 1,...,y n) → φ(x,y 1,..., y n)) (y 1,..., y n are precisely the free variables of Qxφ). The logic of Q (without ordinary quantifiers) corresponds therefore to the fragment of first-order logic which contains only specially restricted quantification. We prove that this logic (and the corresponding fragment) has the interpolation property.
Preview
Unable to display preview. Download preview PDF.
References
Alechina, N. (1995a), On a decidable generalized quantifier logic corresponding to a decidable fragment of first order logic, Journal of Logic, Language and Information 4, 177–189.
Alechina, N. (1995b), Modal quantifiers. PhD Thesis, Univ. of Amsterdam, Amsterdam.
Alechina, N. & van Lambalgen, M. (1995), Generalized quantification as substructural logic, Technical Report ML-95-05, ILLC, University of Amsterdam. To appear in the Journal of Symbolic Logic.
Benthem, van, J. & Alechina, N., (1993), Modal quantification over structured domains, Technical Report ML-93-02, ILLC, Univ. of Amsterdam. To appear in M. de Rijke, ed., Advances in Intensional Logic, Kluwer, Dordrecht.
Fine, K. (1985), Natural deduction and arbitrary objects, Journal of Philosophical Logic 14, 57–107.
Lambalgen, van, M. (1991), Natural deduction for generalized quantifiers. In: J. van der Does &: J. van Eijck, eds, ‘Generalized Quantifier Theory and Applications', Dutch Network for Language, Logic and Information, Amsterdam, 143–154. To appear as CSLI Lecture Notes.
Smullyan, R. M. (1968), First-order logic, Springer Verlag, Berlin.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1996 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alechina, N. (1996). Interpolation for a sequent calculus of generalized quantifiers. In: Miglioli, P., Moscato, U., Mundici, D., Ornaghi, M. (eds) Theorem Proving with Analytic Tableaux and Related Methods. TABLEAUX 1996. Lecture Notes in Computer Science, vol 1071. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61208-4_3
Download citation
DOI: https://doi.org/10.1007/3-540-61208-4_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-61208-7
Online ISBN: 978-3-540-68368-1
eBook Packages: Springer Book Archive