Skolemization in simple type theory: the logical and the theoretical points of view

MaRDI QIDQ3086782zbMATH OpenFDO

Authors Gilles Dowek

Publication date 30 March 2011

zbMATH Keywords

simple type theorySkolem theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• On Skolemization in constructive theories
• The Skolemization of existential quantifiers in intuitionistic logic
• Axiomatization of a Skolem function in intuitionistic logic
• Skolemization for Substructural Logics
• scientific article; zbMATH DE number 627412

Cited in

(3)

• Induction and Skolemization in saturation theorem proving
• Proofs and reconstructions
• A semantic framework for proof evidence

This page was built for publication: Skolemization in simple type theory: the logical and the theoretical points of view

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