Fibred semantics for feature-based grammar logic

DOI10.1007/BF00159345zbMath0858.03034OpenAlexW1984738123MaRDI QIDQ1923842

Esther König, Jochen Dörre, Dov M. Gabbay

Publication date: 17 March 1997

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00159345

zbMATH Keywords

unificationcomputational linguisticsproof systemmodel-theoretic semanticslayered logicscombined logicfeature-based unification grammarsfibred semanticsKasper/Rounds-style feature logicLambek categorial grammar

Mathematics Subject Classification ID

Logic of natural languages (03B65) Natural language processing (68T50)

Related Items

Fibred tableaux for multi-implication logics, Optionality, scope, and licensing: An application of partially ordered categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Linear logic
• Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
• On subsumption and semiunification in feature algebras
• A modal perspective on the computational complexity of attribute value grammar
• Adding a temporal dimension to a logic system
• The conjoinability relation in Lambek calculus and linear logic
• The Mathematics of Sentence Structure
• Quantales and (noncommutative) linear logic
• A Completeness Theorem for the Lambek Calculus of Syntactic Categories
• Completeness Results for Lambek Syntactic Calculus
• Compatibility of a Categorial Grammar With an Associated Category System
• Feature-constraint logics for unification grammars
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Linguistics, Logic and Finite Trees