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 HiDimAFOL project explores the higher dimensional aspects of first-order logic using concepts from 2-dimensional category theory. It aims to enhance understanding of first-order logic and its applications in algebraic and categorical logic, potentially leading to new mathematical insights.
First-order logic is the foundational formal language used to express almost all of modern mathematics, and improved understanding of this logic is linked to many recent advances in mathematics.
Consequently, there is a well-developed framework to study first-order logic within the mathematical discipline of 1-dimensional category theory.
However, there are still many important and yet unexplored aspects of first-order logic that only emerge in 2-dimensional category theory.
My research has u…
Masarykova univerzita
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.
