CMSC 39300
Logics of Grammar and Computation ( LING 47200)Prerequisites: a course in formal logic or consent of instructor.
Catalog Description: A seminar course on the substructural logics that have applications in theoretical computer science and formal linguistics. Topics include Linear Logic (ostensibly useful for modeling the computational process), Lambek calculus (the first logical approach to grammar), and multi-modal type logics. The emphasis is on approaching a new understanding of the proof theory of these systems, with an end to uniting diverse recent contributions to the field and devising a unified technique for efficient contributions to the field and devising a unified technique for efficient proof search for grammatical parsing engines. Everyone in the class can contribute to a new approach to an interesting set of problems! A basic knowledge of propositional logic is assumed, but the course will be otherwise self-contained.
A complete syllabus is posted at http://people.cs.uchicago.edu/~sfulop/index.htm
Instructors: Sean FulopQuarter offered: Spring 2001
Last Verified by Sharon Salveter on 9 April, 2003.