View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Lambek–Grishin Calculus Extended to Connectives of Arbitrary Arity

        Thumbnail
        View/Open
        thesis.pdf (1.983Mb)
        Publication date
        2009
        Author
        Melissen, M.
        Metadata
        Show full item record
        Summary
        In my thesis, I introduce the generalized Lambek–Grishin calculus and study its properties. The second part of this thesis studies the Lambek calculus and the Lambek–Grishin calculus from the perspective of formal language theory. The main result is a new lower-bound on the generative complexity of the Lambek–Grishin calculus.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/3504
        Collections
        • Theses
        Utrecht university logo