Janelidze, Zurab; Van Der Berg, Ineke A Dedekind-style axiomatization and the corresponding universal property of an ordinal number system. (English) Zbl 07620695 J. Symb. Log. 87, No. 4, 1396-1418 (2022). MSC: 03E10 03E70 03E45 11U99 06A05 06A15 54F05 18A40 08A65 PDF BibTeX XML Cite \textit{Z. Janelidze} and \textit{I. Van Der Berg}, J. Symb. Log. 87, No. 4, 1396--1418 (2022; Zbl 07620695) Full Text: DOI arXiv OpenURL
Ciraulo, Francesco; Sambin, Giovanni A constructive Galois connection between closure and interior. (English) Zbl 1275.03161 J. Symb. Log. 77, No. 4, 1308-1324 (2012). Reviewer: Sanjib Kumar Datta (Kalyani) MSC: 03F55 06A15 PDF BibTeX XML Cite \textit{F. Ciraulo} and \textit{G. Sambin}, J. Symb. Log. 77, No. 4, 1308--1324 (2012; Zbl 1275.03161) Full Text: DOI arXiv Euclid OpenURL
Galatos, Nikolaos; Tsinakis, Constantine Equivalence of consequence relations: an order-theoretic and categorical perspective. (English) Zbl 1181.03063 J. Symb. Log. 74, No. 3, 780-810 (2009). Reviewer: Florentina Chirteş (Craiova) MSC: 03G27 03B22 03G30 06A15 06F05 PDF BibTeX XML Cite \textit{N. Galatos} and \textit{C. Tsinakis}, J. Symb. Log. 74, No. 3, 780--810 (2009; Zbl 1181.03063) Full Text: DOI OpenURL
Pynko, Alexej P. Subprevarieties versus extensions. Application to the logic of paradox. (English) Zbl 0960.03056 J. Symb. Log. 65, No. 2, 756-766 (2000). MSC: 03G99 03B53 03B22 06D30 03B05 03B47 03B50 06A15 PDF BibTeX XML Cite \textit{A. P. Pynko}, J. Symb. Log. 65, No. 2, 756--766 (2000; Zbl 0960.03056) Full Text: DOI OpenURL
Font, Josep M.; Verdú, Ventura A first approach to abstract modal logics. (English) Zbl 0687.03008 J. Symb. Log. 54, No. 3, 1042-1062 (1989). Reviewer: B.Boričić MSC: 03B45 03G10 06A15 PDF BibTeX XML Cite \textit{J. M. Font} and \textit{V. Verdú}, J. Symb. Log. 54, No. 3, 1042--1062 (1989; Zbl 0687.03008) Full Text: DOI OpenURL