CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project investigates the structure and applications of many-valued logics, particularly focusing on MV-algebras and their connections to various mathematical fields. It aims to explore complex problems in algebraic topology and functional analysis related to these logics.
Many-valued logics were first considered by J. Łukasiewicz in 1920. MV-algebras were introduced by C.C.Chang in 1958 to prove the completeness theorem for infinite-valued Łukasiewicz logic.
In the last 25 years the importance of MV-algebras and Łukasiewicz logic has been increasing, for three main reasons: (i) the discovery of a categorical equivalence between MV-algebras and lattice-ordered Abelian groups with an Archimedean unit; (ii) the deep relations between MV-algebras and polyhedral and t…
UNIVERSITA DEGLI STUDI DI FIRENZE
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
