Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited

Fan Yang. Negation and Partial Axiomatizations of Dependence and Independence Logic Revisited. In Jouko A. Väänänen, Åsa Hirvonen, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Volume 9803 of Lecture Notes in Computer Science, pages 410-431, Springer, 2016. [doi]

Abstract

Abstract is missing.