Chapters

  1. Syntax and Semantics
  2. Three-valued Logics
  3. Infinite-valued Logics
  4. Sequent Calculus