skip to content

Team logic

Friday 21st April 2006 - 11:00 to 12:00
INI Seminar Room 1

I discuss logic based on dependence as a basic concept. What is the logic of dependence? What is the mathematics of dependence? Typical examples of dependence in the sense that I am interested in are the dependence of a field on other fields in a database, the dependence of a move in a strategy on other moves, and the dependence of a quantifier on other quantifiers in formulas of formal or natural languages. I describe a new logic, called team logic, for the study of types of dependence and give it semantics in terms of team structures. I discuss connections to other logics such as linear logic, modal logic, first order logic, independence friendly logic, Henkin quantifier logic, and second order logic.

Presentation Material: 
University of Cambridge Research Councils UK
    Clay Mathematics Institute London Mathematical Society NM Rothschild and Sons