2 search results - page 1 / 1 » The Skolemization of existential quantifiers in intuitionist... |
APAL
2006
13 years 11 months ago
2006
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...
JSYML
2008
13 years 11 months ago
2008
In this paper a method for the replacement, in formulas, of strong quantifiers by functions is introduced that can be considered as an alternative to Skolemization in the setting ...