The Skolem method in intuitionistic calculi
From MaRDI portal
Publication:1845874
zbMath0286.02030MaRDI QIDQ1845874
Publication date: 1974
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Related Items (7)
Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form ⋮ The eskolemization of universal quantifiers ⋮ The Skolemization of prenex formulas in intermediate logics ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Intuitionistic Existential Instantiation and Epsilon Symbol ⋮ Extraction and verification of programs by analysis of formal proofs ⋮ Automating Theories in Intuitionistic Logic
This page was built for publication: The Skolem method in intuitionistic calculi
