Sledovat
Tomáš Lávička
Tomáš Lávička
Institute of Information Theory and Automation UTIA - Czech Academy of Sciences
E-mailová adresa ověřena na: utia.cas.cz - Domovská stránka
Název
Citace
Citace
Rok
An abstract study of completeness in infinitary logics
T Lávička
Univerzita Karlova, Filozofická fakulta, 2018
72018
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
72018
A new hierarchy of infinitary logics in abstract algebraic logic
T Lávička, C Noguera
Studia Logica 105, 521-551, 2017
72017
The algebraic significance of weak excluded middle laws
T Lávička, T Moraschini, JG Raftery
Mathematical Logic Quarterly 68 (1), 79-94, 2022
62022
Semisimplicity, Glivenko theorems, and the excluded middle
T Lávička, A Přenosil
arXiv preprint arXiv:2101.03528, 2021
22021
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
12022
Extension properties and subdirect representation in abstract algebraic logic
T Lávička, C Noguera
Studia Logica 106, 1065-1095, 2018
12018
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–9