Fibred semantics for feature-based grammar logic

DOI10.1007/BF00159345MaRDI QIDQ1923842zbMATH OpenOpenAlexFDO

Authors Jochen Dörre, Esther König, Dov 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

computational linguisticsunificationproof 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)

Recommendations

• scientific article; zbMATH DE number 1341541
• Fibring of logics as a categorial construction
• Feature-constraint logics for unification grammars
• scientific article; zbMATH DE number 1140670

Cites work

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

Cited in

(5)

• scientific article; zbMATH DE number 1341541 (Why is no real title available?)
• Fibred tableaux for multi-implication logics
• Optionality, scope, and licensing: An application of partially ordered categories
• Feature-constraint logics for unification grammars
• scientific article; zbMATH DE number 1552271 (Why is no real title available?)

This page was built for publication: Fibred semantics for feature-based grammar logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1923842)