ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Extension"
Extension
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Mgr. Tomáš Lávička Ph.D.
Externí akademický pracovník na Filozofická fakulta
19 publikací
Publikace
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Filozofická fakulta
publication
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
2018 |
Filozofická fakulta
publication
Lindenbaum and pair extension lemma in infinitary logics
2018 |
Filozofická fakulta
publication
Protonegationality and inconsistency lemmas Part I
2017 |
Filozofická fakulta
publication
Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples
2015 |
Filozofická fakulta
publication
Completely separably MAD families and the modal logic of $\beta\omega$
2022 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Filozofická fakulta
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Filozofická fakulta
publication
Antistructural Completeness in Propositional Logics
2017 |
Filozofická fakulta
publication
Subdirect Representation in Abstract Algebraic Logic
2017 |
Filozofická fakulta
Načíst další publikace (9)
Loading network view...