A finite axiomatization of G-dependence

DOI10.1007/S10849-017-9254-2zbMATH Open1420.03053arXiv1512.04728OpenAlexW2962866037MaRDI QIDQ1689285FDOQ1689285

Authors: Gianluca Paolini 

Publication date: 12 January 2018

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

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.

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

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

zbMATH Keywords

team semanticsdependence logicfunctional dependenceG-dependence

Mathematics Subject Classification ID

Other nonclassical logic (03B60)

Cites Work

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

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)