Shotaro Tanaka

Examples of BCK-Algebras

Shotaro Tanaka, 1975 .

Axiom Systems of Aristotle Traditional Logic. IV

Shotaro Tanaka, 1967 .

On axiom systems of propositional calculi, XX

Shotaro Tanaka, 1965 .

An Algebraic Formulation of K-N Propositional Calculus. II

Shotaro Tanaka, 1967 .

On axiom systems of propositional calculi, XXV

Shotaro Tanaka, 1967 .

Supporting News Article Understanding by Detecting Subject-Background Event Relations

Adam Jatowt, Katsumi Tanaka, Shotaro Tanaka, 2016, 2016 IEEE/WIC/ACM International Conference on Web Intelligence (WI).