Independence logic and abstract independence relations

DOI10.1002/MALQ.201400031zbMATH Open1360.03075arXiv1401.6907OpenAlexW2963524930MaRDI QIDQ5258482FDOQ5258482

Authors: Gianluca Paolini 

Publication date: 22 June 2015

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Abstract: We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing 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 and statistics.

Full work available at URL: https://arxiv.org/abs/1401.6907

Recommendations

• General models and entailment semantics for independence logic
• Dependence logic in pregeometries and \(\omega\)-stable theories
• Dependence logic. A new approach to independence friendly logic
• Dependence and independence
• Team logic

zbMATH Keywords

model theoryabstract elementary classindependence logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52)

Cites Work

• Axioms and algorithms for inferences involving probabilistic independence
• Dependence and independence
• On the undecidability of implications between embedded multivalued database dependencies
• Dependence logic in pregeometries and \(\omega\)-stable theories
• Compositional semantics for a language of imperfect information
• Independence in finitary abstract elementary classes
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• A geometric introduction to forking and thorn-forking
• Definable Sets in Ordered Structures. I
• First-order theories of abstract dependence relations
• Forking in Simple Unstable Theories
• Dependence relation in pregeometries

Cited In (12)

• Independence-friendly logic and axiomatic set theory
• Kim-independence in positive logic
• Domain independence and the relational calculus
• Logical Data Independence Reconsidered (Extended Abstract)
• Title not available (Why is that?)
• General models and entailment semantics for independence logic
• Properties of the logical consequence operation and its relationship with the independence of propositional logic
• Title not available (Why is that?)
• A logical approach to context-specific independence
• A Logical Approach to Context-Specific Independence
• Conditional independence in propositional logic.
• Title not available (Why is that?)

This page was built for publication: Independence logic and abstract independence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5258482)