Many-valued logic: Algebraic, Geometric and Computational Aspects

  from 9/25/16 to 9/26/16

International workshop focusing on the algebraic, geometric and computational aspects of many-valued logic. In particular:

  • Algebraic semantics for approximate reasoning
  • Game semantics of many-valued logics and computational aspects
  • Combinatorial search and coding
  • Many-valued logic and real-valued geometry
  • Interpretation of truth values
  • Probability of non-classical events 

Organization

Department facilities

Share