Axiomatizing first-order consequences in independence logic
Logic
2015-10-14 v2 Logic in Computer Science
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.
Keywords
Cite
@article{arxiv.1304.4164,
title = {Axiomatizing first-order consequences in independence logic},
author = {Miika Hannula},
journal= {arXiv preprint arXiv:1304.4164},
year = {2015}
}
Comments
arXiv admin note: text overlap with arXiv:1208.0176 by other authors