Axiomatizing first order consequences in dependence logic
Logic
2012-08-02 v1 Logic in Computer Science
Abstract
Dependence logic, introduced in [8], cannot be axiomatized. However, first-order consequences of dependence logic sentences can be axiomatized, and this is what we shall do in this paper. We give an explicit axiomatization and prove the respective Completeness Theorem.
Keywords
Cite
@article{arxiv.1208.0176,
title = {Axiomatizing first order consequences in dependence logic},
author = {Juha Kontinen and Jouko Väänänen},
journal= {arXiv preprint arXiv:1208.0176},
year = {2012}
}