Interpolation for a sequent calculus of generalized quantifiers

  • Natasha Alechina
Contributed Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1071)

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 Ri, for every arity i (or an infinitary predicate R) which takes Qxφ(x,y1,...,yn) to ∀x(R(x, y1,...,yn) → φ(x,y1,..., yn)) (y1,..., yn 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.

Unable to display preview. Download preview PDF.

References

  1. 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.Google Scholar
  2. Alechina, N. (1995b), Modal quantifiers. PhD Thesis, Univ. of Amsterdam, Amsterdam.Google Scholar
  3. 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.Google Scholar
  4. 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.Google Scholar
  5. Fine, K. (1985), Natural deduction and arbitrary objects, Journal of Philosophical Logic 14, 57–107.Google Scholar
  6. 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.Google Scholar
  7. Smullyan, R. M. (1968), First-order logic, Springer Verlag, Berlin.Google Scholar

Copyright information

© Springer-Verlag 1996

Authors and Affiliations

  • Natasha Alechina
    • 1
  1. 1.FWIUniversity of AmsterdamTV AmsterdamThe Netherlands

Personalised recommendations