Meaning as an object

PI: J. Peregrin
GA ČR 23-07119S
2023-2025

 

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