Switch to: Citations

Add references

You must login to add references.
  1. Dependence and Independence.Erich Grädel & Jouko Väänänen - 2013 - Studia Logica 101 (2):399-410.
    We introduce an atomic formula ${\vec{y} \bot_{\vec{x}}\vec{z}}$ intuitively saying that the variables ${\vec{y}}$ are independent from the variables ${\vec{z}}$ if the variables ${\vec{x}}$ are kept constant. We contrast this with dependence logic ${\mathcal{D}}$ based on the atomic formula = ${(\vec{x}, \vec{y})}$ , actually equivalent to ${\vec{y} \bot_{\vec{x}}\vec{y}}$ , saying that the variables ${\vec{y}}$ are totally determined by the variables ${\vec{x}}$ . We show that ${\vec{y} \bot_{\vec{x}}\vec{z}}$ gives rise to a natural logic capable of formalizing basic intuitions about independence and dependence. (...)
    Download  
     
    Export citation  
     
    Bookmark   50 citations  
  • On definability in dependence logic.Juha Kontinen & Jouko Väänänen - 2009 - Journal of Logic, Language and Information 18 (3):317-332.
    We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  • Reduction of database independence to dividing in atomless Boolean algebras.Tapani Hyttinen & Gianluca Paolini - 2016 - Archive for Mathematical Logic 55 (3-4):505-518.
    We prove that the form of conditional independence at play in database theory and independence logic is reducible to the first-order dividing calculus in the theory of atomless Boolean algebras. This establishes interesting connections between independence in database theory and stochastic independence. As indeed, in light of the aforementioned reduction and recent work of Ben-Yaacov :957–1012, 2013), the former case of independence can be seen as the discrete version of the latter.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • First-order theories of abstract dependence relations.John T. Baldwin - 1984 - Annals of Pure and Applied Logic 26 (3):215-243.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • (1 other version)[Omnibus Review].Anand Pillay - 1984 - Journal of Symbolic Logic 49 (1):317-321.
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Independence logic and abstract independence relations.Gianluca Paolini - 2015 - Mathematical Logic Quarterly 61 (3):202-216.
    We continue the work on the relations between independence logic and the model-theoretic analysis of independence, generalizing the results of [15] and [16] to the framework of abstract independence relations for an arbitrary AEC. We give a model-theoretic interpretation of the independence atom and characterize under which conditions we can prove a completeness result with respect to the deductive system that axiomatizes independence in team semantics and statistics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations