Dependence logic and its applications in no-go paradoxes in sciences
Description of the granted funding
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.
Show moreStarting year
2020
End year
2023
Granted funding
Related funding decisions
336283
Research costs of Academy Research Fellows(2020)
240 000 €
Funder
Research Council of Finland
Funding instrument
Academy research fellows
Other information
Funding decision number
330525
Fields of science
Mathematics
Research fields
Puhdas matematiikka
Identified topics
humanities