Fibred Semantics for Feature-Based Grammar Logic

@article{Drre1996FibredSF,
  title={Fibred Semantics for Feature-Based Grammar Logic},
  author={Jochen D{\"o}rre and Esther K{\"o}nig and Dov M. Gabbay},
  journal={Journal of Logic, Language and Information},
  year={1996},
  volume={5},
  pages={387-422}
}
This paper gives a simple method for providing categorial brands of feature-based uniication grammars with a model-theoretic semantics. The key idea is to apply the paradigm of bred semantics (or layered logics, see 15]) in order to combine the two components of a feature-based grammar logic. We demonstrate the method for the augmentation of Lambek categorial grammar with Kasper/Rounds-style feature logic. These are combined by replacing (or annotating) atomic formulas of the rst logic, i.e… CONTINUE READING

From This Paper

Topics from this paper.

References

Publications referenced by this paper.
Showing 1-10 of 43 references

Language Completeness of the Lambek Calculus

LICS • 1994
View 1 Excerpt
Highly Influenced

Completeness Results for Lambek Syntactic Calculus

Math. Log. Q. • 1986
View 1 Excerpt
Highly Influenced

Labelled Deductive Systems, Volume 1, Dov M. Gabbay

Journal of Logic, Language and Information • 1998

A study in grammar design Arbeitspapier 54 des Sonderforschungsbereich 340

Kk Esther
A study in grammar design Arbeitspapier 54 des Sonderforschungsbereich 340 • 1994

Lambek categorial grammars are context-free. Manuscript, Institut f ur Maschinelle Sprachverarbeitung

Kk Esther
Lambek categorial grammars are context-free. Manuscript, Institut f ur Maschinelle Sprachverarbeitung • 1994

The structural approach to feature logic

Patrick Blackburn
Constraints, Language and Computation • 1994

Similar Papers

Loading similar papers…