ℹ️
🇬🇧
Search
Search for people relevant for "kognitivní věda"
kognitivní věda
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Tomáš Lávička Ph.D.
External academic staff at Faculty of Arts
19 publications
Publications
publication
Completely separably MAD families and the modal logic of $\beta\omega$
2022 |
Faculty of Arts
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Faculty of Arts
publication
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
2018 |
Faculty of Arts
publication
Lindenbaum and pair extension lemma in infinitary logics
2018 |
Faculty of Arts
publication
Antistructural Completeness in Propositional Logics
2017 |
Faculty of Arts
publication
Subdirect Representation in Abstract Algebraic Logic
2017 |
Faculty of Arts
publication
Infinitary propositional logics and subdirect representation
2017 |
Faculty of Arts
publication
Antistructural completeness in propositional logics
2017 |
Faculty of Arts
Load more publications (9)
Loading network view...