681 Algebraic Linguistics U G 5
Prereq: 680 or equivalent knowledge of informal set theory and predicate logic.
This course, a continuation of Linguistics 680, covers intermediate to advanced mathematical concepts and techniques applicable to the formal analysis of human language, especially syntax, semantics, and computational linguistics. Topics typically covered include: axiomatizability, consistency, and completeness of logical theories; semantical completeness of first-order logic; incompleteness; axiomatic set theory; heyting and boolean (pre-)algebras; filters and Stone representation; preordered and residuated algebras; typed lambda calculus; substructural logics; higher-order logic and type theory; deductive systems; the Curry-Howard isomorphism; and basic concepts of category theory.
Offered 2007-2008:
Offered 2008-2009 (projected):
Instructor's Course Pages:
Carl Pollard
Last modified 2005-06-09
If you are a member of our faculty you may click here to edit this page.