Dependence logic in pregeometries and -stable theories

DOI10.1017/JSL.2015.16zbMATH Open1368.03041arXiv1310.7719OpenAlexW2963301981MaRDI QIDQ2805022FDOQ2805022

Authors: Gianluca Paolini, Jouko Väänänen 

Publication date: 9 May 2016

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Abstract: We present a framework for studying the concept of independence in a general context covering database theory, algebra and model theory as special cases. We show that well-known axioms and rules of independence for making inferences concerning basic atomic independence statements are complete with respect to a variety of semantics. Our results show that the uses of independence concepts in as different areas as database theory, algebra and model theory, can be completely characterized by the same axioms. We also consider concepts related to independence, such as dependence.

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

Recommendations

• On dependence logic
• Independence logic and abstract independence relations
• First-order theories of abstract dependence relations
• Publication:4728270
• A finite axiomatization of conditional independence and inclusion dependencies

zbMATH Keywords

dependenceindependencematroidforkingclosure operatorstable theory

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Classification theory, stability, and related concepts in model theory (03C45) Combinatorial aspects of matroids and geometric lattices (05B35) Database theory (68P15) Logic in computer science (03B70)

Cites Work

• Axioms and algorithms for inferences involving probabilistic independence
• Dependence and independence
• On the undecidability of implications between embedded multivalued database dependencies
• Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
• On definability in dependence logic
• Separoids: a mathematical framework for conditional independence and irrelevance
• First-order theories of abstract dependence relations
• On the Abstract Properties of Linear Dependence
• Title not available (Why is that?)
• Dependence relation in pregeometries

Cited In (9)

• Dependence relation in pregeometries
• First-order theories of abstract dependence relations
• A finite axiomatization of conditional independence and inclusion dependencies
• Grelling on Dependence
• General models and entailment semantics for independence logic
• A logical approach to context-specific independence
• Independence logic and abstract independence relations
• A finite axiomatization of G-dependence
• Constructibility and decidability versus domain independence and absoluteness

This page was built for publication: Dependence logic in pregeometries and \(\omega\)-stable theories

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