On Skolemization in constructive theories

DOI10.2178/JSL/1230396760MaRDI QIDQ3617374zbMATH OpenOpenAlexFDO

Authors Matthias Baaz, Rosalie Iemhoff

Publication date 23 March 2009

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1005.5856

zbMATH Keywords

constructive Skolemizationconstructive theorycut eliminationderivabilityHerbrand expansionintuitionistic theoryorderization

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• The Skolemization of existential quantifiers in intuitionistic logic
• scientific article; zbMATH DE number 3296225
• The eskolemization of universal quantifiers
• Skolemization in intermediate logics with the finite model property
• Eskolemization in intuitionistic logic

Cites work

• Constructivism in mathematics. An introduction. Volume I
• Handbook of proof theory
• scientific article; zbMATH DE number 5822570 (Why is no real title available?)
• scientific article; zbMATH DE number 949290 (Why is no real title available?)
• The Skolemization of existential quantifiers in intuitionistic logic

Cited in

(12)

• Skolemization and Herbrand theorems for lattice-valued logics
• The Skolemization of prenex formulas in intermediate logics
• Generic expansion and Skolemization in \(\mathrm{NSOP}_{1}\) theories
• Axiomatization of a Skolem function in intuitionistic logic
• Skolemization in simple type theory: the logical and the theoretical points of view
• Automating theories in intuitionistic logic
• Skolemization in intermediate logics with the finite model property
• On Skolem functions in proof theory
• scientific article; zbMATH DE number 3296224 (Why is no real title available?)
• The eskolemization of universal quantifiers
• Proof analysis in intermediate logics
• A formal characterization of semantic pollution of modal proof systems

This page was built for publication: On Skolemization in constructive theories

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