Axiomatizing first-order consequences in independence logic

2013/04/15 by Hannula, Miika
#03C80 #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Logic (math.LO) #Logic in Computer Science (cs.LO)

paper · doi:10.48550/arxiv.1304.4164

Abstract

Independence logic 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.

Related

• Axiomatizing first order consequences in dependence logic
• Negation and partial axiomatizations of dependence and independence logic revisited
• Axiomatizing first-order consequences in inclusion logic
• On Dependence Logic
• Independence questions in a finite axiom-schematization of first-order logic