Axiomatizing first-order consequences in independence logic

摘要

Independence logic, introduced in [8], cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axiomatization and prove that it is complete in this sense. The proof is a generalization of the similar result for dependence logic introduced in [15]. (C) 2014 Elsevier B.V. All rights reserved.