Pages that link to "Item:Q2805022"

The following pages link to DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES (Q2805022):

Displayed 3 items.

• A finite axiomatization of G-dependence (Q1689285) ‎ (← links)
• A finite axiomatization of conditional independence and inclusion dependencies (Q2629853) ‎ (← links)
• Independence logic and abstract independence relations (Q5258482) ‎ (← links)