New equilibrium models arising in economy and mechanics will be described by systems of evolutionary generalized equations (EGEs) and thoroughly investigated. Their characteristic feature is the presence of nonsmooth and set-valued mappings. We intend to study various concepts of solutions to systems of such generalized equations and their relevance for particular problems.

Many-valued logics are a prominent family of non-classical logics whose intended semantics uses more than the two classical truth-values, truth/false. The study of these logics is stimulated by strong mutually beneficial connections with other mathematical disciplines such as universal algebra, topology, and model, proof, game and category theory.

Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus. While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.

Rapid development of information and computer technology as well as availability of multiple, very frequently incompatible, informational sources have caused that decision makers (both humans and devices) are overloaded with information. Their imperfectness (i.e.