ℹ️
🇬🇧
Search
Search for people relevant for "algebras"
algebras
Person
Class
Person
Publication
Programmes
Mgr. Tomáš Lávička Ph.D.
External academic staff at Faculty of Arts
19 publications
Publications
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
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
Subdirect Representation in Abstract Algebraic Logic
2017 |
Faculty of Arts
publication
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic
2017 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics
2017 |
Faculty of Arts
publication
Protonegationality and inconsistency lemmas Part II
2017 |
Faculty of Arts
publication
Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples
2015 |
Faculty of Arts
publication
Completely separably MAD families and the modal logic of $\beta\omega$
2022 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Faculty of Arts
Load more publications (9)
Loading network view...