The eskolemization of universal quantifiers

DOI10.1016/j.apal.2010.09.005zbMath1223.03011OpenAlexW2062030772MaRDI QIDQ638487

Rosalie Iemhoff

Publication date: 12 September 2011

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/34087

zbMATH Keywords

intuitionistic logicconstructive theoriesHerbrand's theoremSkolemization

Mathematics Subject Classification ID

Structure of proofs (03F07) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Gentzen calculi for the existence predicate
• Constructivism in mathematics. An introduction. Volume II
• Handbook of proof theory
• Sequent calculus proof theory of intuitionistic apartness and order relations
• The Skolem method in intuitionistic calculi
• The Skolemization of existential quantifiers in intuitionistic logic
• Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
• Herbrand’s Theorem for Prenex Gödel Logic and Its Consequences for Theorem Proving
• Eskolemization in Intuitionistic Logic
• Herbrand's Theorem, Skolemization and Proof Systems for First-Order Lukasiewicz Logic
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• On Skolemization in constructive theories
• Elementary intuitionistic theories