Objectives

From ERCIM Working Group on Many-Valued Logics
Revision as of 15:55, 10 July 2014 by Cnoguera (talk | contribs) (Created page with "ManyVal has the goal to build and maintain an international network of researchers focusing on current hot topics inside the broad field of many-valued logics and exploring co...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

ManyVal has the goal to build and maintain an international network of researchers focusing on current hot topics inside the broad field of many-valued logics and exploring connections with other fields of mathematics, computer science and philosophy, including universal algebra, proof theory, duality theory, geometry, knowledge representation, vagueness, and artificial intelligence.