TY - RPRT TI - Logics of variable inclusion and the lattice of consequence relations AU - Michele Pra Baldi PY - 2019 UR - https://arxiv.org/abs/1903.03771 ID - 1903.03771 ER -