Masahiko Sato: Theory of Judgments and Derivations. Progress in Discovery Science 2002: 78-122