Independence logic and abstract independence relations
From MaRDI portal
Publication:5258482
DOI10.1002/malq.201400031zbMath1360.03075arXiv1401.6907OpenAlexW2963524930MaRDI QIDQ5258482
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
Other nonclassical logic (03B60) Properties of classes of models (03C52) Abstract elementary classes and related topics (03C48)
Related Items
Cites Work
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- First-order theories of abstract dependence relations
- Axioms and algorithms for inferences involving probabilistic independence
- Dependence relation in pregeometries
- Dependence and independence
- Independence in finitary abstract elementary classes
- On the undecidability of implications between embedded multivalued database dependencies
- DEPENDENCE LOGIC IN PREGEOMETRIES AND ω-STABLE THEORIES
- A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
- Definable Sets in Ordered Structures. I
- Compositional semantics for a language of imperfect information
- Forking in Simple Unstable Theories