A finite axiomatization of G-dependence

DOI10.1007/S10849-017-9254-2MaRDI QIDQ1689285zbMATH OpenOpenAlexFDO

Authors Gianluca Paolini

Publication date 12 January 2018

Published in Journal of Logic, Language and Information (Search for Journal in Brave)

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

zbMATH Keywords

team semanticsdependence logicfunctional dependenceG-dependence

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Abstract: We show that a form of dependence known as G-dependence (originally introduced by Grelling) admits a very natural finite axiomatization, as well as Armstrong relations. We also give an explicit translation between functional dependence and G-dependence.

Recommendations

• A finite axiomatization of conditional independence and inclusion dependencies
• A finite axiomatization of conditional independence and inclusion dependencies
• scientific article; zbMATH DE number 3952835
• scientific article; zbMATH DE number 4039269
• scientific article; zbMATH DE number 3850499

Cites work

• scientific article; zbMATH DE number 41085 (Why is no real title available?)
• A logic for arguing about probabilities in measure teams
• Compositional semantics for a language of imperfect information
• Dependence logic in pregeometries and \(\omega\)-stable theories
• Dependence logic. A new approach to independence friendly logic
• Grelling on dependence
• On the Structure of Armstrong Relations for Functional Dependencies
• Quantum team logic and Bell's inequalities

Cited in

(2)

• An axiomatization of the single-series Ginis
• Grelling on dependence

This page was built for publication: A finite axiomatization of G-dependence

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