A Finite Axiomatization of G-Dependence
Logic
2018-02-20 v8
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.
Keywords
Cite
@article{arxiv.1512.04728,
title = {A Finite Axiomatization of G-Dependence},
author = {Gianluca Paolini},
journal= {arXiv preprint arXiv:1512.04728},
year = {2018}
}