Boolean Dependence Logic and Partially-Ordered Connectives

Johannes Ebbing, Lauri Hella, Peter Lohmann +1

We introduce a new variant of dependence logic called Boolean dependence logic. In Boolean dependence logic dependence atoms are of the type =(x_1,...,x_n,α), where αis a Boolean v…