| The algebraic significance of weak excluded middle laws T Lávička, T Moraschini, JG Raftery Mathematical Logic Quarterly 68 (1), 79-94, 2022 | 8 | 2022 |
| An abstract study of completeness in infinitary logics T Lávička Univerzita Karlova, Filozofická fakulta, 2018 | 8 | 2018 |
| Lindenbaum and pair extension lemma in infinitary logics M Bílková, P Cintula, T Lávička Logic, Language, Information, and Computation: 25th International Workshop …, 2018 | 8 | 2018 |
| A new hierarchy of infinitary logics in abstract algebraic logic T Lávička, C Noguera Studia Logica 105, 521-551, 2017 | 7 | 2017 |
| Semisimplicity, Glivenko theorems, and the excluded middle T Lávička, A Přenosil arXiv preprint arXiv:2101.03528, 2021 | 4 | 2021 |
| Completely separable mad families and the modal logic of βω T Lávička, JL Verner The Journal of Symbolic Logic 87 (2), 498-507, 2022 | 1 | 2022 |
| Extension properties and subdirect representation in abstract algebraic logic T Lávička, C Noguera Studia Logica 106, 1065-1095, 2018 | 1 | 2018 |
| Koordinační chování multidonorového fosfinoamidu T Lávička Univerzita Karlova, Přírodovědecká fakulta, 2024 | | 2024 |
| Spontaneous HCl elimination in group 10 metal complexes with a multidonor phosphinoamide ligand T Lávička, M Navrátil, I Císařová, P Štěpnička Journal of Organometallic Chemistry 1015, 123223, 2024 | | 2024 |
| A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic C Noguera, T Lávička Studia Logica 105 (3), 2017 | | 2017 |
| ALMOST DISJOINT REFINEMENT AND TOPOLOGICAL MODELS OF INTUITIONISTIC LOGIC T LÁVIČKA, JL VERNER | | |
