Eskolemization in Intuitionistic Logic

DOI10.1093/LOGCOM/EXP040zbMath1241.03067OpenAlexW2083944571MaRDI QIDQ3094144

Matthias Baaz, Rosalie Iemhoff

Publication date: 21 October 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/33721

zbMATH Keywords

intuitionistic logicHerbrand's theoremGentzen calculiSkolemizationeskolemizationexistence logicorderization

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

The eskolemization of universal quantifiers ⋮ The Skolemization of prenex formulas in intermediate logics

This page was built for publication: Eskolemization in Intuitionistic Logic