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 explores the application of geometric and combinatorial techniques to formal proof systems in mathematical logic. By analyzing selected proof-theoretic problems, it aims to enhance understanding in proof theory and unify various combinatorial methods.
Proof Theory is the branch of mathematical logic that investigates formal proof systems modelling mathematical reasoning.
There are different types of proof systems, each having its own advantages and disadvantages. A certain class of proof systems (Gentzen-type systems) has the interesting property of exhibiting a geometric structure in proofs.
Logical and proof-theoretic problems that are formulated in the context of these systems are thus susceptible to analysis by geometric and combinatorial…
Université Paris Diderot-Paris 7
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.
