The development of logic has therefore paralleled the development of philosophy, throughout its history and throughout many of the cultures of the world: work on logic is found among the Ancient ...

Basic topics to be covered include classical and intuitionistic linear logic, affine and relevance logics, natural deduction and sequent calculi, and decidability and complexity results for various ...