Course Information

TIME: TR 1:30-3:18
PLACE: Jennings Hall 136
COURSE WEB SITE: http://www.ling.ohio-state.edu/~plummer/courses/winter09/ling681/

INSTRUCTOR: Carl Pollard

Office: Oxley Hall 18
Office hours TBA and by appointment

Email: pollard@ling.ohio-state.edu

Office phone: (614) 292-7590 (office)
Cell: (614) 975-9789 (for emergencies only)

More Course Info

Reading

Unit 0: Review of Preorders and (Pre-)(semi-)lattices

• (Pre-)(semi-)lattices and Trees
• Slides on Preorders
• Handout on Preorders
• Slides on (Pre-)(semi-)lattices
• Handout on (Pre-)(semi-)lattices

Unit 1: PIPL: Algebraic Semantics

• Preordered Algebraic Semantics for Propositional Logic
• Slides on HPS semantics of PIPL
• Handout on HPS semantics of PIPL

Unit 2: PIPL: Natural Deduction

• Proof and Semantic Consequence
• Slides on semantic consequence
• Handout on semantic consequence
• Slides on natural deduction
• Handout on natural deduction

Unit 3: Adding Disjunction and Negation

• Full Propositional Logics

Unit 4: Typed Lambda Calculus: Set-Theoretic Models

• Slides on introducing TLC

Links

Recommended Reading

Asperti and Longo: Categories, Types and Structures
Barr and Wells: Category Theory Lecture Notes
Blute and Scott: Category Theory for Linear Logicians
Crouch and van Genabith: Linear Logic for Linguists
Pierce: Basic Category Theory for Computer Scientists
Scott: Some Aspects of Categories in Computer Science

Mathematics and Philosophy

MathSci
MathWorld
PlanetMath
Stanford Encyclopedia of Philosophy

Linguistics

Convergent Grammar
Higher Order Grammar
LING 680: Formal Foundations

Top | Course Information | Reading | Links