The Skolemization of existential quantifiers in intuitionistic logic

Annals of Pure and Applied Logic 142 (1):269-295 (2006)
  Copy   BIBTEX

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
On the derivability of instantiation properties.Harvey Friedman - 1977 - Journal of Symbolic Logic 42 (4):506-514.
Towards intuitionistic dynamic logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
The logic of bunched implications.Peter W. O'Hearn & David J. Pym - 1999 - Bulletin of Symbolic Logic 5 (2):215-244.
From if to bi.Samson Abramsky & Jouko Väänänen - 2009 - Synthese 167 (2):207 - 230.
A(nother) characterization of intuitionistic propositional logic.Rosalie Iemhoff - 2001 - Annals of Pure and Applied Logic 113 (1-3):161-173.
Truth-Maker Semantics for Intuitionistic Logic.Kit Fine - 2014 - Journal of Philosophical Logic 43 (2-3):549-577.
EM constructions for a class of generalized quantifiers.Martin Otto - 1992 - Archive for Mathematical Logic 31 (5):355-371.

Analytics

Added to PP
2013-12-31

Downloads
29 (#474,441)

6 months
3 (#445,838)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Rosalie Iemhoff
Utrecht University

Citations of this work

Necessity of Thought.Cesare Cozzo - 2015 - In Heinrich Wansing (ed.), Dag Prawitz on Proofs and Meaning. Springer. pp. 101-20.
Linear Kripke Frames and Gödel Logics.Arnold Beckmann & Norbert Preining - 2007 - Journal of Symbolic Logic 72 (1):26 - 44.
On Skolemization in constructive theories.Matthias Baaz & Rosalie Iemhoff - 2008 - Journal of Symbolic Logic 73 (3):969-998.
The eskolemization of universal quantifiers.Rosalie Iemhoff - 2010 - Annals of Pure and Applied Logic 162 (3):201-212.

View all 6 citations / Add more citations

References found in this work

A Cut‐Free Calculus For Dummett's LC Quantified.Giovanna Corsi - 1989 - Mathematical Logic Quarterly 35 (4):289-301.
Elementary intuitionistic theories.C. Smorynski - 1973 - Journal of Symbolic Logic 38 (1):102-134.

View all 11 references / Add more references