(In)dependence Logic and Abstract Independence Relations

Por • 30 ene, 2014 • Sección: Opinion

Gianluca Paolini

Abstract: We generalize the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics.

arXiv:1401.6907v2 [math.LO]

Post to Twitter

Etiquetado con: , , , ,

Escribe un comentario