29 citations · 43 across the 29 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
math.LO2014★ 29 cited
Quantum Team Logic and Bell's Inequalities
Tapani Hyttinen, Gianluca Paolini, Jouko Väänänen
A logical approach to Bell's Inequalities of quantum mechanics has been introduced by Abramsky and Hardy [2]. We point out that the logical Bell's Inequalities of [2] are provable…
math.LO2014
Reduction of Database Independence to Dividing in Atomless Boolean Algebras
Tapani Hyttinen, Gianluca Paolini
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 Boo…
math.LO2014
Independence Logic and Abstract Independence Relations
Gianluca Paolini
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 abs…