About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Courses in Summer Term 2012  -  Structural Proof Theory and Abstract Logic Programming


Course title:  Structural Proof Theory and Abstract Logic Programming

Lecturer:   Dr. Paola Bruscoli

Module:  MCL-KR, MCL-PI, MCL-TCSL

Status:  advanced unit

SWS (lecture/tutorial/practical):  2/2/0

Examination method:  to be announced

Prerequisites:

Course description:

Logic programming is traditionally introduced as an application of the resolution method. A limitation of this perspective is the difficulty of extending the pure language of Horn clauses to more expressive languages without sacrificing logical purity. This limitation can be largely overcome by looking at logic programming from a proof theoretic perspective through the idea of uniform provability. The course will focus on the basic concepts and theorems of structural proof theory of Genzten systems, especially for substructural logics, and their use in language design.

Additional information: