WP1 — Dualities for prominent varieties of many-valued logics.
WP2 — Abstract study of translations, interpretations and comparison of logical systems.
WP3 — Unified logical-algebraic approach to many-valued logics.
WP4 — Representation theorems for free algebras in the semantics of many-valued logics.
WP5 — Combining logics: formal tools for providing unifying settings.
WP6 — Generalized Probability Theory for imprecise events.
WP7 — Beliefs and many-valued logic: a uniform approach through modalities.
WP8 — Formal algebraic systems for reasoning about probabilities of non-classical events.
WP9 — First Order many-valued logics.