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