Logic-oriented inferential framework extensions LIFE-OMEGA - Yamaguchi, Jinsei (1991)