Skip to main content
SpringerLink
Log in

Infinite Set Unification with Application to Categorial Grammar

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In this paper the notion of unifier is extended to the infinite set case. The proof of existence of the most general unifier of any infinite, unifiable set of types (terms) is presented. Learning procedure, based on infinite set unification, is described.

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.

Similar content being viewed by others

References

  1. W. Buszkowski, 1987, Solvable Problems for Classical Categorial Grammars, Bull. Pol. Acad. Scie. Math. 35, 373-382.

    Google Scholar 

  2. W. Buszkowski, Discovery Procedures for Categorial Grammars, in [7]

    Google Scholar 

  3. J. van Benthem, Categorial Equations, in [7].

    Google Scholar 

  4. W. Buszkowski and G. Penn, 1990, Categorial Grammars Determined from Linguistic Data by Unification, Studia Logica XLIX,4, 431-454.

    Article  Google Scholar 

  5. M. Kanazawa, 1996, Identification in the Limit of Categorial Grammars, Journal of Logic, Language and Information, 5,No 2.

    Google Scholar 

  6. M. Kanazawa, 1994, Learnable Classes of Categorial Grammars, Dissertation, Stanford University.

  7. E. Klein and J. van Benthem (eds), 1987, Categories, Polymorphism an Unification, Universiteit van Amsterdam, Amsterdam.

    Google Scholar 

  8. J. W. Lloyd, 1987, Foundations of Logic Programming, Sprringer-Verlag, Berlin.

    Google Scholar 

  9. J. Marciniec, 1994, Learning Categorial Grammars by Uniffcation with Negative Constraints, Journal of Applied Non-Classical Logics 4, 181-200.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Linguistics, Adam Mickiewicz University, ul. Miedzychodzka 5, 60-371, Poznań, Poland

    Jacek Marciniec

Authors
  1. Jacek Marciniec
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Marciniec, J. Infinite Set Unification with Application to Categorial Grammar. Studia Logica 58, 339–355 (1997). https://doi.org/10.1023/A:1004926032425

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1004926032425

Search

Navigation