Pages that link to "Item:Q2805022"
From MaRDI portal
The following pages link to Dependence logic in pregeometries and \(\omega\)-stable theories (Q2805022):
Displaying 10 items.
- A logical approach to context-specific independence (Q122510) (← links)
- Reduction of database independence to dividing in atomless Boolean algebras (Q283121) (← links)
- First-order theories of abstract dependence relations (Q1073012) (← links)
- A finite axiomatization of G-dependence (Q1689285) (← links)
- Dependence relation in pregeometries (Q1866842) (← links)
- General models and entailment semantics for independence logic (Q1949170) (← links)
- Constructibility and decidability versus domain independence and absoluteness (Q2482456) (← links)
- A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) (← links)
- Grelling on Dependence (Q5213640) (← links)
- Independence logic and abstract independence relations (Q5258482) (← links)