Tomás Lávicka

Publication Activity (10 Years)

Years Active: 2017-2022
Publications (10 Years): 5

Top Topics

Proof Theoretic

Propositional Dynamic Logic

Algebraic Structure

Johnson Lindenstrauss

Top Venues

Publications

Tomás Lávicka, Jonathan L. Verner
Completely separable MAD families and the Modal Logic of βω. J. Symb. Log. 87 (2) (2022)
Tomás Lávicka, Tommaso Moraschini, James G. Raftery
The algebraic significance of weak excluded middle laws. Math. Log. Q. 68 (1) (2022)
Tomás Lávicka, Carles Noguera
Extension Properties and Subdirect Representation in Abstract Algebraic Logic. Stud Logica 106 (6) (2018)
Marta Bílková, Petr Cintula, Tomás Lávicka
Lindenbaum and Pair Extension Lemma in Infinitary Logics. WoLLIC (2018)
Tomás Lávicka, Carles Noguera
A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic. Stud Logica 105 (3) (2017)