1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
George Metcalfe, Naomi Tokuda
We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defin…