We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
Independence logic and abstract independence relations.
- Authors
Paolini, Gianluca
- Abstract
We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of 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 and statistics.
- Subjects
AXIOMS; FOUNDATIONS of mathematical analysis; HYPOTHESIS; QUANTITATIVE research; SEMANTICS
- Publication
Mathematical Logic Quarterly, 2015, Vol 61, Issue 3, p202
- ISSN
0942-5616
- Publication type
Article
- DOI
10.1002/malq.201400031