Axiomatizing first-order consequences in dependence logic
| Authors |
|
|---|---|
| Publication date | 11-2013 |
| Journal | Annals of Pure and Applied Logic |
| Volume | Issue number | 164 | 11 |
| Pages (from-to) | 1101-1117 |
| Organisations |
|
| Abstract | Dependence logic, introduced in Väänänen (2007) [11], 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. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1016/j.apal.2013.05.006 |
| Permalink to this page | |