Bøger af Gerhard Jäger

Develops a hybrid architecture that allows to incorporate anaphora resolution into grammatical deduction. After giving an introduction into Type Logical Grammar in general, this book discusses the formal properties of this connective.

Ernst Specker has made decisive contributions towards shaping direc tions in topology, algebra, mathematical logic, combinatorics and algorith mic over the last 40 years. We can do no better than to quote from Hao Wang in the 'Festschrift' Logic and Algorithmic I: Specker was ill for an extended period before completing his formal education.