Review: Z. P. Dienes, On an Implication Function in Many-Valued Systems of Logic