Publications
- Lindenbaum and Pair Extension Lemma in Infinitary Logics2018 | Faculty of Arts
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Faculty of Arts
- Lindenbaum and pair extension lemma in infinitary logics2018 | Faculty of Arts
- Subdirect Representation in Abstract Algebraic Logic2017 | Faculty of Arts
- A New Hierarchy of Infinitary Logics in Abstract Algebraic Logic2017 | Faculty of Arts
- Protonegationality and inconsistency lemmas Part II2017 | Faculty of Arts
- Beyond Finitarity in Abstract Algebraic Logic III. Hierarchy and Separating Examples2015 | Faculty of Arts
- Completely separably MAD families and the modal logic of $\beta\omega$2022 | Faculty of Arts
- Lindenbaum-style proof of completeness for infinitary logics Part II2018 | Faculty of Arts
- Lindenbaum-style proof of completeness for infinitary logics Part I2018 | Faculty of Arts
Loading network view...