Axiomatizing first-order consequences in independence logic

作者：Hannula Miika^*

来源：Annals of Pure and Applied Logic, 2015, 166(1): 61-91.

DOI：10.1016/j.apal.2014.09.002

• Axiomatization
• 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].

• 出版日期2015-1