TY - RPRT TI - Existentially Closed Brouwerian Semilattices AU - Luca Carai AU - Silvio Ghilardi PY - 2017 DO - 10.1017/jsl.2019.71 UR - https://arxiv.org/abs/1702.08352 ID - 1702.08352 ER -