ℹ️
🇬🇧
Search
Search for people relevant for "Lindenbaum lemma"
Lindenbaum lemma
Person
Class
Person
Publication
Programmes
Mgr. Tomáš Lávička Ph.D.
External academic staff at Faculty of Arts
19 publications
Publications
publication
Lindenbaum and Pair Extension Lemma in Infinitary Logics
2018 |
Faculty of Arts
publication
Extension Properties and Subdirect Representation in Abstract Algebraic Logic
2018 |
Faculty of Arts
publication
Lindenbaum and pair extension lemma in infinitary logics
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics
2017 |
Faculty of Arts
publication
Completely separably MAD families and the modal logic of $\beta\omega$
2022 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part II
2018 |
Faculty of Arts
publication
Lindenbaum-style proof of completeness for infinitary logics Part I
2018 |
Faculty of Arts
publication
Antistructural Completeness in Propositional Logics
2017 |
Faculty of Arts
publication
Subdirect Representation in Abstract Algebraic Logic
2017 |
Faculty of Arts
publication
Infinitary propositional logics and subdirect representation
2017 |
Faculty of Arts
Load more publications (9)
Loading network view...