Inverse relations

[ .. ] → kbdef:hasDerivative → Many-valued logics / by J. Barkley Rosser, Atwell R. Turquette