ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "classical"
classical
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
Lindenbaum and pair extension lemma in infinitary logics
2018 |
Filozofická fakulta
publication
General Approach to Inconsistency Lemmas
2017 |
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
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
2018 |
Filozofická fakulta
publication
Antistructural Completeness in Propositional Logics
2017 |
Filozofická fakulta
publication
Subdirect Representation in Abstract Algebraic Logic
2017 |
Filozofická fakulta
publication
Infinitary propositional logics and subdirect representation
2017 |
Filozofická fakulta
Načíst další publikace (9)
Loading network view...