Logical structure of information channels

PI: V. Punčochář
CSF 21-23610M
2021-2025

 

Meaningful Formalism. A Philosophy of Mathematics for type theory

PI: A. Klev
CAS (Lumina quaeruntur)
2021-2025

 

The nature of logical forms and modern logic

PI: V. Svoboda
CSF 20-18675S
2020-2022