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
Moraschini, Tommaso Varieties of positive modal algebras and structural completeness. (English) Zbl 07124573 Rev. Symb. Log. 12, No. 3, 557-588 (2019). MSC: 03B45 03G27 08B15 54F05 PDFBibTeX XMLCite \textit{T. Moraschini}, Rev. Symb. Log. 12, No. 3, 557--588 (2019; Zbl 07124573) Full Text: DOI arXiv
Dzik, Wojciech; Wojtylak, Piotr Unification in superintuitionistic predicate logics and its applications. (English) Zbl 07063881 Rev. Symb. Log. 12, No. 1, 37-61 (2019). MSC: 03B55 03B20 03B35 03B45 03G25 PDFBibTeX XMLCite \textit{W. Dzik} and \textit{P. Wojtylak}, Rev. Symb. Log. 12, No. 1, 37--61 (2019; Zbl 07063881) Full Text: DOI
Rasga, João; Sernadas, Cristina; Sernadas, Amílcar Preservation of admissible rules when combining logics. (English) Zbl 1397.03049 Rev. Symb. Log. 9, No. 4, 641-663 (2016). Reviewer: Branislav Boričić (Beograd) MSC: 03B62 PDFBibTeX XMLCite \textit{J. Rasga} et al., Rev. Symb. Log. 9, No. 4, 641--663 (2016; Zbl 1397.03049) Full Text: DOI arXiv