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)