Main Page

From ERCIM Working Group on Many-Valued Logics
Revision as of 08:38, 10 April 2014 by Peter (talk | contribs) (Created page with "<big>'''ERCIM ManyVal Working Group'''</big> ===Objectives=== ManyVal has the goal to build and maintain an international network of researchers focusing on current hot topic...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

ERCIM ManyVal Working Group

Objectives

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.