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

 

Povaha logických forem a moderní logika

řešitel: V. Svoboda
GA ČR 20-18675S
2020-2022