Clausal Proofs and Discontinuity

DOI10.1093/JIGPAL/3.2-3.403zbMath0827.03018OpenAlexW2064499154MaRDI QIDQ4842280

Glyn Morrill

Publication date: 13 December 1995

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/f34a920cb734b60322da84da2c25eae95dd229ba

zbMATH Keywords

linear logicunificationsemanticsdiscontinuitySLD-resolutionproof netslanguage generationparsing-as-deductionsemantic algebramultimodal Lambek calculuscategorial logicsprosodicstyped lambda terms

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Theory of compilers and interpreters (68N20) Logic of natural languages (03B65) Mechanization of proofs and logical operations (03B35) Natural language processing (68T50)

Related Items (2)

Grammar specification in categorial logics and theorem proving ⋮ Using tableaux to automate the Lambek and other categorial calculi

This page was built for publication: Clausal Proofs and Discontinuity