He anticipated Lagrangian interpolation and algorithmic information theory .
Regardless , Leibniz simplified the binary system and articulated logical properties such as conjunction , disjunction , negation , identity , inclusion , and the empty set .
Leibniz anticipated Lagrangian interpolation and algorithmic information theory .
Regardless , Leibniz simplified the binary system and articulated logical properties such as conjunction , disjunction , negation , identity , inclusion , and the empty set .