scientific article; zbMATH DE number 1390270
From MaRDI portal
Publication:4934557
zbMath0939.03062MaRDI QIDQ4934557
Publication date: 17 January 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Logic programming (68N17) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (2)
A coinductive approach to proof search through typed lambda-calculi ⋮ The Skolemization of existential quantifiers in intuitionistic logic
This page was built for publication: