Bezhanishvili, Nick; Marra, Vincenzo; McNeill, Daniel; Pedrini, Andrea Tarski’s theorem on intuitionistic logic, for polyhedra. (English) Zbl 1390.03015 Ann. Pure Appl. Logic 169, No. 5, 373-391 (2018). Reviewer: Jānis Cīrulis (Riga) MSC: 03B20 06D20 06D22 55U10 52B11 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Koppen, Mathieu On alternative representations for knowledge spaces. (English) Zbl 0923.92039 Math. Soc. Sci. 36, No. 2, 127-143 (1998). MSC: 91E10 06A99 52A99 × Cite Format Result Cite Review PDF Full Text: DOI