29 citations · 45 across the 4 of their papers we have counts for
1 paper · 1 filter
Koen Lefever, Gergely Székely
In this paper, we introduce a concept of non-dependence of variables in formulas. A formula in first-order logic is non-dependent of a variable if the truth value of this formula d…