TY - RPRT TI - Paraconsistency, resolution and relevance AU - Michal Walicki AU - Sjur Dyrkolbotn PY - 2019 UR - https://arxiv.org/abs/1906.03476 ID - 1906.03476 ER -