The Skolemization of existential quantifiers in intuitionistic logic

DOI10.1016/J.APAL.2006.02.001zbMath1106.03004OpenAlexW2080694187MaRDI QIDQ2503404

Rosalie Iemhoff, Matthias Baaz

Publication date: 14 September 2006

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/353953

zbMATH Keywords

intuitionistic logicKripke modelHerbrand's theoremGentzen systemexistence predicateSkolemizationeSkolemization

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (9)

First-order interpolation derived from propositional interpolation ⋮ Herbrand Theorems and Skolemization for Prenex Fuzzy Logics ⋮ Ten problems in Gödel logic ⋮ Deciding logics of linear Kripke frames with scattered end pieces ⋮ The eskolemization of universal quantifiers ⋮ The Skolemization of prenex formulas in intermediate logics ⋮ On Skolemization in constructive theories ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol ⋮ Gentzen calculi for the existence predicate

Cites Work

• Gentzen calculi for the existence predicate
• Proof theory. 2nd ed
• Another proof of the strong completeness of the intuitionistic fuzzy logic
• Constructivism in mathematics. An introduction. Volume I
• Completeness theorem for Dummett's LC quantified and some of its extensions
• A logic characterized by the class of connected models with nested domains
• The Skolem method in intuitionistic calculi
• Linear Kripke frames and Gödel logics
• Intuitionistic fuzzy logic and intuitionistic fuzzy set theory
• On axiomatizing fragments
• A Cut‐Free Calculus For Dummett's LC Quantified
• On Interpolation in Existence Logics
• Elementary intuitionistic theories
• A Note on Linear Kripke Models
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The Skolemization of existential quantifiers in intuitionistic logic