Switch to: References

Add citations

You must login to add citations.
  1. The Eskolemization of Universal Quantifiers.Rosalie Iemhoff - 2010 - Annals of Pure and Applied Logic 162 (3):201-212.
    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 (...)
    Direct download (7 more)  
    Export citation  
    Bookmark   1 citation  
  • The Skolemization of Existential Quantifiers in Intuitionistic Logic.Matthias Baaz & Rosalie Iemhoff - 2006 - Annals of Pure and Applied Logic 142 (1):269-295.
    In this paper an alternative Skolemization method is introduced that, for a large class of formulas, is sound and complete with respect to intuitionistic logic. This class extends the class of formulas for which standard Skolemization is sound and complete and includes all formulas in which all strong quantifiers are existential. The method makes use of an existence predicate first introduced by Dana Scott.
    Direct download (5 more)  
    Export citation  
    Bookmark   3 citations  
  • Skolemization in Intermediate Logics with the Finite Model Property.Matthias Baaz & Rosalie Iemhoff - 2016 - Logic Journal of the IGPL 24 (3):224-237.