Logic Programming of the Displacement Calculus

DOI10.1007/978-3-642-22221-4_12zbMath1333.03099OpenAlexW3471185MaRDI QIDQ3010345

Glyn Morrill

Publication date: 1 July 2011

Published in: Logical Aspects of Computational Linguistics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22221-4_12

zbMATH Keywords

sequent calculusdiscontinuityfocusingcategorial grammarparsing as deduction

Mathematics Subject Classification ID

Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Related Items (3)

Displacement logic for anaphora ⋮ Parsing/theorem-proving for logical grammar \textit{CatLog3} ⋮ A Categorial Type Logic

This page was built for publication: Logic Programming of the Displacement Calculus