A Finite Axiomatization of G-Dependence

作者:Paolini Gianluca*
来源:Journal of Logic, Language and Information, 2017, 26(3): 293-302.
DOI:10.1007/s10849-017-9254-2

摘要

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.

  • 出版日期2017-9

全文