scientific article
From MaRDI portal
Publication:2702564
zbMath0971.03011MaRDI QIDQ2702564
Publication date: 24 July 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
completeness proofskolemizationaxiomatization of the Skolem extension of intuitionistic logic with equality
Proof theory in general (including proof-theoretic semantics) (03F03) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (5)
Three faces of natural deduction ⋮ The Skolemization of prenex formulas in intermediate logics ⋮ The Skolemization of existential quantifiers in intuitionistic logic ⋮ Constructibility and Geometry ⋮ Gentzen calculi for the existence predicate
This page was built for publication:
