Sciweavers

63
Voted
APAL
2010
92views more  APAL 2010»
14 years 6 months ago
The eskolemization of universal quantifiers
This paper is a sequel to the papers [4, 6] in which an alternative skolemization method called ekolemization was introduced that, when applied to the strong existential quantifie...
Rosalie Iemhoff
APAL
2006
66views more  APAL 2006»
14 years 9 months ago
The Skolemization of existential quantifiers in intuitionistic logic
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 t...
Matthias Baaz, Rosalie Iemhoff