Axiomatizing first-order consequences in independence logic

Miika Hannula. Axiomatizing first-order consequences in independence logic. Annals of Pure and Applied Logic, 166(1):61-91, 2015. [doi]

Abstract

Abstract is missing.