TY - RPRT TI - Topological representation of intuitionistic and distributive abstract logics AU - Andreas B. M. Brunner AU - Steffen Lewitzka PY - 2015 DO - 10.1007/s11787-017-0166-3 UR - https://arxiv.org/abs/1508.04428 ID - 1508.04428 ER -