Citkin, Alex On finitely-generated Johansson algebras. (English) Zbl 07713575 Order 40, No. 2, 371-385 (2023). MSC: 06-XX PDFBibTeX XMLCite \textit{A. Citkin}, Order 40, No. 2, 371--385 (2023; Zbl 07713575) Full Text: DOI
Citkin, Alex V. Yankov’s contributions to propositional logic. (English) Zbl 07672614 Citkin, Alex (ed.) et al., V. A. Yankov on non-classical logics, history and philosophy of mathematics. Cham: Springer. Outst. Contrib. Log. 24, 7-52 (2022). MSC: 03B55 06D20 06D75 PDFBibTeX XMLCite \textit{A. Citkin}, Outst. Contrib. Log. 24, 7--52 (2022; Zbl 07672614) Full Text: DOI
Citkin, Alex Hereditarily structurally complete positive logics. (English) Zbl 1485.03062 Rev. Symb. Log. 13, No. 3, 483-502 (2020). MSC: 03B55 03B60 06D20 03C05 PDFBibTeX XMLCite \textit{A. Citkin}, Rev. Symb. Log. 13, No. 3, 483--502 (2020; Zbl 1485.03062) Full Text: DOI
Citkin, Alex Characteristic formulas over intermediate logics. (English) Zbl 1429.03110 Odintsov, Sergei (ed.), Larisa Maksimova on implication, interpolation, and definability. Cham: Springer. Outst. Contrib. Log. 15, 71-98 (2018). MSC: 03B55 PDFBibTeX XMLCite \textit{A. Citkin}, Outst. Contrib. Log. 15, 71--98 (2018; Zbl 1429.03110) Full Text: DOI arXiv
Citkin, Alex Projective algebras and primitive subquasivarieties in varieties with factor congruences. (English) Zbl 1425.08004 Algebra Univers. 79, No. 3, Paper No. 66, 21 p. (2018). Reviewer: Alexander Ivanovich Budkin (Barnaul) MSC: 08C15 08B30 03G27 03C80 03B45 08A30 PDFBibTeX XMLCite \textit{A. Citkin}, Algebra Univers. 79, No. 3, Paper No. 66, 21 p. (2018; Zbl 1425.08004) Full Text: DOI arXiv
Citkin, Alex Not every splitting Heyting or interior algebra is finitely presentable. (English) Zbl 1258.06003 Stud. Log. 100, No. 1-2, 115-135 (2012). Reviewer: Ivan Chajda (Přerov) MSC: 06D20 03B45 03B55 03G25 PDFBibTeX XMLCite \textit{A. Citkin}, Stud. Log. 100, No. 1--2, 115--135 (2012; Zbl 1258.06003) Full Text: DOI