TY - RPRT TI - Axiomatizing Propositional Dependence Logics AU - Katsuhiko Sano AU - Jonni Virtema PY - 2014 UR - https://arxiv.org/abs/1410.5038 ID - 1410.5038 ER -