The Skolem method in intuitionistic calculi

zbMATH Open0286.02030MaRDI QIDQ1845874FDOQ1845874

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)

• Intuitionistic existential instantiation and epsilon symbol
• The Skolemization of existential quantifiers in intuitionistic logic
• 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)