TY - RPRT TI - Merging fragments of classical logic AU - Carlos Caleiro AU - Sérgio Marcelino AU - João Marcos PY - 2017 UR - https://arxiv.org/abs/1706.08689 ID - 1706.08689 ER -