Oddělení logiky
Department of Logic
O nás
Lidé
Vít Punčochář
Ansten Mørch Klev
Vojtěch Kolman
Ondrej Majer
Jaroslav Peregrin
Igor Sedlár
Vladimír Svoboda
Marta Vlasáková
Kontakt
Ocenění
Projekty
Aktuální grantové projekty
Uzavřené grantové projekty
Publikace
Logica Yearbook
Knihy
Články
Přepisy: Martin-Löf
Akce
LOGICA
LOGICA 2025
Konference
Workshopy
Seminář
Multimedia
LOGICA - videa
Popularizace
EN
Inquisitive Heyting Algebras
Punčochář, V.
Studia Logica 109, 2021, 995-1017
