K implikaci v Aristotelově logice - Mráz, Milan (Rozpravy ČSAV, 1988)