Axiomatizing first-order consequences in dependence logic

作者：Kontinen Juha^*; Vaananen Jouko

来源：Annals of Pure and Applied Logic, 2013, 164(11): 1101-1117.

DOI：10.1016/j.apal.2013.05.006

• Dependence logic
• Game logic
• Independence logic
• Independence friendly logic
• Natural deduction

Dependence logic, introduced in Vaananen (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.

• 出版日期2013-11