Tomáš Lávička

Available identifiers

zbMath Open lavicka.tomasMaRDI QIDQ1756590

List of research outcomes

Publication	Date of Publication	Type
The algebraic significance of weak excluded middle laws	2023-09-12	Paper
COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω	2022-06-15	Paper
Semisimplicity, Glivenko theorems, and the excluded middle	2021-01-10	Paper
Extension properties and subdirect representation in abstract algebraic logic	2018-12-21	Paper
Lindenbaum and pair extension lemma in infinitary logics	2018-10-18	Paper
Completely separably MAD families and the modal logic of $\beta\omega$	2017-09-20	Paper
A new hierarchy of infinitary logics in abstract algebraic logic	2017-07-19	Paper

Research outcomes over time

This page was built for person: Tomáš Lávička