The eskolemization of universal quantifiers

DOI10.1016/J.APAL.2010.09.005MaRDI QIDQ638487zbMATH OpenOpenAlexFDO

Authors 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

constructive theoriesHerbrand's theoremintuitionistic logicSkolemization

Mathematics Subject Classification ID

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

Recommendations

• Eskolemization in intuitionistic logic
• scientific article; zbMATH DE number 3296224
• The Skolemization of existential quantifiers in intuitionistic logic
• On Skolemization in constructive theories
• Axiomatization of a Skolem function in intuitionistic logic

Cites work

• scientific article; zbMATH DE number 1670477 (Why is no real title available?)
• scientific article; zbMATH DE number 3650529 (Why is no real title available?)
• scientific article; zbMATH DE number 978241 (Why is no real title available?)
• scientific article; zbMATH DE number 1053091 (Why is no real title available?)
• scientific article; zbMATH DE number 2113968 (Why is no real title available?)
• scientific article; zbMATH DE number 3296224 (Why is no real title available?)
• scientific article; zbMATH DE number 3316942 (Why is no real title available?)
• Constructivism in mathematics. An introduction. Volume II
• Elementary intuitionistic theories
• Eskolemization in intuitionistic logic
• Gentzen calculi for the existence predicate
• Handbook of proof theory
• Herbrand Theorems and Skolemization for Prenex Fuzzy Logics
• Herbrand's theorem for prenex Gödel logic and its consequences for theorem proving
• Herbrand's theorem, Skolemization and proof systems for first-order Łukasiewicz logic
• On Skolemization in constructive theories
• Sequent calculus proof theory of intuitionistic apartness and order relations
• Sovability of the problem of deducibility in LJ for a class of formulas not containing negative occurrences of quantifiers
• The Skolem method in intuitionistic calculi
• The Skolemization of existential quantifiers in intuitionistic logic

Cited in

(7)

• scientific article; zbMATH DE number 22239 (Why is no real title available?)
• The Skolemization of existential quantifiers in intuitionistic logic
• On Skolemization in constructive theories
• scientific article; zbMATH DE number 3296224 (Why is no real title available?)
• Skolemization in intermediate logics with the finite model property
• Skolem Theory and Generalized Quantifiers
• Eskolemization in intuitionistic logic

This page was built for publication: The eskolemization of universal quantifiers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q638487)