A finite axiomatization of G-dependence (Q1689285): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: On the Structure of Armstrong Relations for Functional Dependencies / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: QUANTUM TEAM LOGIC AND BELL’S INEQUALITIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Compositional semantics for a language of imperfect information / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A logic for arguing about probabilities in measure teams / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: DEPENDENCE LOGIC IN PREGEOMETRIES AND <i>ω</i>-STABLE THEORIES / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3994395 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3446107 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Grelling on Dependence / rank | |||
Normal rank |
Latest revision as of 22:32, 14 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A finite axiomatization of G-dependence |
scientific article |
Statements
A finite axiomatization of G-dependence (English)
0 references
12 January 2018
0 references
G-dependence
0 references
functional dependence
0 references
dependence logic
0 references
team semantics
0 references