scientific article; zbMATH DE number 1390270

zbMath0939.03062MaRDI QIDQ4934557

Luís Pinto, Roy Dyckhoff

Publication date: 17 January 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

permutationsnatural deductionintuitionistic logicsequent calculiproof search

Mathematics Subject Classification ID

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: