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 aims to bridge algebra and proof theory by developing proof systems for ordered algebraic structures. It seeks to establish new results in decidability and complexity, focusing on the interplay between algebraic properties and logical frameworks.
The goal of this project is to develop and exploit proof-theoretic methods for ordered algebraic structures.
Traditionally, algebra and proof theory represent two distinct approaches within logic: the former concerned with semantic meaning and structures, the latter with syntactic and algorithmic aspects.
In many intriguing cases, however, methods from one field have been essential to obtaining proofs in the other.
In particular, proof-theoretic techniques have been used to establish important r…
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.
