Fibred semantics for feature-based grammar logic
From MaRDI portal
Publication:1923842
DOI10.1007/BF00159345zbMATH Open0858.03034OpenAlexW1984738123MaRDI QIDQ1923842FDOQ1923842
Esther König, Dov Gabbay, Jochen Dörre
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
computational linguisticsunificationproof systemmodel-theoretic semanticslayered logicscombined logicfeature-based unification grammarsfibred semanticsKasper/Rounds-style feature logicLambek categorial grammar
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Linear logic
- Quantales and (noncommutative) linear logic
- Adding a temporal dimension to a logic system
- The Mathematics of Sentence Structure
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- Completeness Results for Lambek Syntactic Calculus
- Compatibility of a Categorial Grammar With an Associated Category System
- Feature-constraint logics for unification grammars
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
- A Completeness Theorem for the Lambek Calculus of Syntactic Categories
- The conjoinability relation in Lambek calculus and linear logic
- Linguistics, Logic and Finite Trees
- A modal perspective on the computational complexity of attribute value grammar
- On subsumption and semiunification in feature algebras
Cited In (5)
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)
