Dependence logic and its applications in no-go paradoxes in sciences
Bidragets beskrivning
This project aims to unveil the common logical core in the foundations of quantum physics, social welfare and databases using dependence logic, a non-classical logic born in Finland in 2007.
Visa merStartår
2020
Slutår
2023
Beviljade finansiering
Andra beslut
336283
Akademiforskarens forskningskostnader(2020)
240 000 €
Finansiär
Finlands Akademi
Typ av finansiering
Akademiforskare
Utlysning
Övriga uppgifter
Finansieringsbeslutets nummer
330525
Vetenskapsområden
Matematik
Forskningsområden
Puhdas matematiikka
Identifierade teman
humanities