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 seeks to unify classical and non-classical mathematical logic through a set-theoretic framework. It aims to provide new insights into both fields by reconciling different approaches to logic and set theory.
This project aims to bring together the study of classicality and non-classicality within the fields of mathematical logic and philosophy of logic.
The project is divided into two parts.
First, we will unify classical and non-classical foundations of mathematics within a set-theoretic framework.
Moreover, our approach is distinctive from previous attempts of such unification.
We believe only an algebraic approach has sufficient generality for such a task.
Secondly, we will extend our reconciliat…
UNIVERSITETET I OSLO
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.
