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

zbMATH Open1226.03016MaRDI QIDQ3086782FDOQ3086782

Authors: Gilles Dowek 

Publication date: 30 March 2011

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

zbMATH Keywords

simple type theorySkolem theorem

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (3)

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

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)