Význam jako objekt

řešitel: J. Peregrin
GA ČR 23-07119S
2023-2025

 

Logická struktura informačních kanálů

řešitel: V. Punčochář
GA ČR 21-23610M
2021-2025

 

Filosofie matematiky pro teorii typů

řešitel: A. Klev
AV ČR (Lumina quaeruntur)
2021-2025