Main Page: Difference between revisions

Revision as of 15:55, 10 July 2014

ERCIM ManyVal Working Group

Revision as of 08:38, 10 April 2014 (view source) 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...")		Revision as of 15:55, 10 July 2014 (view source) Cnoguera (talk \| contribs) No edit summary Newer edit →
Line 2:		Line 2:

	===Objectives===		===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.