Many-valued logic: Algebraic, Geometric and Computational Aspects

  dal 25/09/16 al 26/09/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 

Organizzazione

Strutture del dipartimento

Condividi