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 ExtenDD project explores the intersection of complex terms and proof theory, focusing on definite descriptions and sequent calculus. It aims to enhance the understanding of these terms through formal theories and improve proof theory methods for broader applications in logic and language philosophy.
The project is concerned with two areas which so far have rarely come together: complex terms and proof theory.
ExtenDD focuses on definite descriptions as the most important and troublesome singular terms and on sequent calculus and its generalizations as the most important tool of modern proof theory.
Since Russell's 'On Denoting', regarded as a paradigm of analytic philosophy, definite descriptions occupy a central place in philosophical research and many deep and detailed studies have been c…
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.
Guests see up to 5 keywords.
