Independence logic and abstract independence relations

DOI10.1002/MALQ.201400031MaRDI QIDQ5258482zbMATHOpenAlexFDO

Authors Gianluca Paolini

Publication date 22 June 2015

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

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

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)

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.

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

Cites work

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

Cited in

(14)

• Explicating logical independence
• A logical approach to context-specific independence
• Dependence logic in pregeometries and \(\omega\)-stable theories
• A Logical Approach to Context-Specific Independence
• General models and entailment semantics for independence logic
• Kim-independence in positive logic
• Domain independence and the relational calculus
• Properties of the logical consequence operation and its relationship with the independence of propositional logic
• scientific article; zbMATH DE number 1670481 (Why is no real title available?)
• Logical Data Independence Reconsidered (Extended Abstract)
• Independence-friendly logic and axiomatic set theory
• Conditional independence in propositional logic.
• scientific article; zbMATH DE number 3974344 (Why is no real title available?)
• scientific article; zbMATH DE number 2051379 (Why is no real title available?)

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)