The Skolem method in intuitionistic calculi

MaRDI QIDQ1845874zbMATH OpenFDO

Authors G. E. Mints

Publication date 1974

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55) Proof theory and constructive mathematics (03F99)

Cited in

(7)

• The Skolemization of existential quantifiers in intuitionistic logic
• Intuitionistic existential instantiation and epsilon symbol
• The Skolemization of prenex formulas in intermediate logics
• Automating theories in intuitionistic logic
• Extraction and verification of programs by analysis of formal proofs
• The eskolemization of universal quantifiers
• Infinite-valued first-order Łukasiewicz logic: hypersequent calculi without structural rules and proof search for sentences in the prenex form

This page was built for publication: The Skolem method in intuitionistic calculi

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