The eskolemization of universal quantifiers

Annals of Pure and Applied Logic 162 (3):201-212 (2010)

Authors
Rosalie Iemhoff
Utrecht University
Abstract
This paper is a sequel to the papers Baaz and Iemhoff [4] and [6] in which an alternative skolemization method called eskolemization was introduced that, when restricted to strong existential quantifiers, is sound and complete for constructive theories. In this paper we extend the method to universal quantifiers and show that for theories satisfying the witness property it is sound and complete for all formulas. We obtain a Herbrand theorem from this, and apply the method to the intuitionistic theory of equality and the intuitionistic theory of monadic predicates
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2010.09.005
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 42,236
Through your library

References found in this work BETA

On Skolemization in Constructive Theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Illusive Scope of Universal Quantifiers.Danny Fox & Uli Sauerland - 1997 - In Jill Beckman (ed.), Proceedings of NELS 26. GLSA, UMass Amhert.
More Than Two Quantifiers.Shoichi Takahashi - 2006 - Natural Language Semantics 14 (1):57-101.
Self-Commuting Quantifiers.Dag Westerståhl - 1996 - Journal of Symbolic Logic 61 (1):212-224.
Axiomatizing Universal Properties of Quantifiers.Kees Doets - 1991 - Journal of Symbolic Logic 56 (3):901-905.
A Note on the Monotonicity of Reducible Quantifiers.R. Zuber - 2010 - Journal of Logic, Language and Information 19 (1):123-128.
Complexly Fractionated Syllogistic Quantifiers.Philip L. Peterson - 1991 - Journal of Philosophical Logic 20 (3):287 - 313.
Quantifiers Definable by Second Order Means.M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 181--214.
Henkin Quantifiers.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 193--263.
Quantifiers, Some Problems and Ideas.M. Krynicki & M. Mostowski - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 1--21.
Symmetric and Contrapositional Quantifiers.R. Zuber - 2006 - Journal of Logic, Language and Information 16 (1):1-13.

Analytics

Added to PP index
2013-12-18

Total views
25 ( #334,636 of 2,254,259 )

Recent downloads (6 months)
3 ( #595,126 of 2,254,259 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature