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
The Duality For Logic on Words project applies Stone duality to enhance understanding of formal languages and their expressive power. It involves studying profinite semigroups and their applications in logic, aiming to bridge mathematics and computer science.
Duality For Logic on Words (DFLOW)The mathematical theory of Stone duality underlies a deep connection between syntax and semantics in logic and theoretical computer science, and allows for powerful applications in both of these research fields.
The aim of this project is to apply the topological methods provided by Stone duality to the study of the expressive power of logic in describing formal languages of both finite and infinite words.
During the outgoing phase of the project, at the Mathema…
UNIVERSITEIT VAN AMSTERDAM
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
United States, New York
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
