Skip to main content
SpringerLink
Log in

The logic of unification in grammar

  • Published:
Linguistics and Philosophy Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Ait-Kaci, H.: 1984,A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially Ordered Type Structures, PhD thesis, University of Pennsylvania.

  2. Gazdar, G., G. K. Pullum, R. Carpenter, E. Klein, T. Hukari, and R. Levine: 1986, ‘Category Structures’, Technical Report SRC-86-01(2), Syntax Research Center, University of California, Santa Cruz.

    Google Scholar 

  3. Gazdar, G., E. Klein, G. K. Pullum, and I. A. Sag: 1985,Generalized Phrase Structure Grammar, Blackwell Publishing, Oxford, England, and Harvard University Press, Cambridge, Massachusetts.

    Google Scholar 

  4. G. R. Kress (ed.): 1976, Halliday: System and Function in Language, Oxford University Press, London, England.

    Google Scholar 

  5. Kaplan, R. and J. Bresnan: 1983, ‘Lexical Functional Grammar: A Formal System for Grammatical Representation’, in J. Bresnan (ed.),The Mental Representation of Grammatical Relations, MIT Press, Cambridge, Massachusetts.

    Google Scholar 

  6. Karttunen, L.: 1984, ‘Features and Values’, inProceedings of the Tenth International Conference on Computational Linguistics: COLING 84, Stanford University, Stanford, California.

    Google Scholar 

  7. Kasper, R., and W. Rounds: 1986, ‘A Logical Semantics for Feature Structures’, inProceedings of the 24th Annual Meeting of the ACL, New York, N.Y.

  8. Kasper, R.: 1987,Feature Structures: A Logical Theory with Applications to Natural Language Analysis, Ph.D. dissertation, University of Michigan.

  9. Kay, M.: 1979, ‘Functional Grammar’, inProceedings of the Fifth Annual Meeting of the Berkeley Linguistics Society, Berkeley Linguistics Society, Berkeley, California.

    Google Scholar 

  10. Kay, M.: 1985, ‘Parsing in Functional Unification Grammar’, in D. Dowty, L. Kartunnen, and A. Zwicky (eds.),Natural Language Parsing, Cambridge University Press, Cambridge, England.

    Google Scholar 

  11. Pereira, F. C. N. and S. M. Shieber: 1985, ‘The Semantics of Grammar Formalisms Seen as Computer Languages’, inProceedings of the 23rd Annual Meeting of the ACL, Chicago, Ill.

  12. Rounds, W. C. and R. Kasper: 1986, ‘A Complete Logical Calculus for Record Structures Representing Linguistic Information’,Proc. IEEE Symposium on Logic in Computer Science.

  13. Shieber, S. M.: 1984, ‘The Design of a Computer Language for Linguistic Information’, inProceedings of the Tenth International Conference on Computational Linguistics: COLING 84, Stanford University, Stanford, California.

    Google Scholar 

  14. Shieber, S. M.: 1986,An Introduction to Unification-based Approaches to Grammar, University of Chicago Press, Chicago, CSLI Lecture Notes Series.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Electrical Engineering and Computer Science Department, University of Michigan, 48109, Ann Arbor, Michigan, USA

    Robert T. Kasper & William C. Rounds

Authors
  1. Robert T. Kasper
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. William C. Rounds
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This work represents re%ision and extension of research reported in [12] and [7].

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kasper, R.T., Rounds, W.C. The logic of unification in grammar. Linguist Philos 13, 35–58 (1990). https://doi.org/10.1007/BF00630516

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00630516

Keywords

Search

Navigation