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 focuses on substructural logics, which refine classical logic to address concepts like resources and vagueness. It aims to unite experts from various approaches to enhance understanding and application of these logics in fields such as computer science and linguistics.
Substructural logics are formal reasoning systems that refine classical logic by weakening the structural rules in Gentzen sequent calculus.While classical logic generally formalises the notion of truth, substructural logics allow to handle notions such as resources, vagueness, meaning, and language syntax, motivated by studies in computer science, epistemology, economy, and linguistics.
Moreover, from a theoretical point of view, substructural logics provide a refined perspective of classical l…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Italy, Cagliari
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Italy, Milano
Type: University / higher education
Activity type: Higher or Secondary Education Establishments
SME: No
Czechia, Olomouc
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.
