Objectives: Difference between revisions

From ERCIM Working Group on Many-Valued Logics
(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...")
(No difference)

Revision as of 15:55, 10 July 2014

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.