Some 3-Dimensional Systems of Labelled Deduction

DOI10.1093/JIGPAL/3.2-3.429zbMath0842.03021OpenAlexW2156106724MaRDI QIDQ4842281

Dick Oehrle

Publication date: 16 July 1996

Published in: Unnamed Author (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/3.2-3.429

zbMATH Keywords

Lambek calculusquantifier scope ambiguitieslabelled deductionCurry-Howard correspondence between proofs and \(\lambda\)-termsquantificational type structureresource labelling systemsequent presentation of Lambek's associative syntactic calculus

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Some 3-Dimensional Systems of Labelled Deduction