- Mizar Formalization of Concept Lattices
by Christoph Schwarzweller - Definition of a Radix-2k Signed-Digit Number and its Adder Algorithm
by Yoshinori Fujisawa and Yasushi Fuwa - A Model of Predicate Calculus on Partitions
by Shunichi Kobayashi - Continuity of Fuzzy Controller
by Takashi Mitsuishi, Jun Kawabe, and Yasunari Shidama - An Optimization of Fuzzy Logic by using Genetic Algorithm
by Noboru Endou, Akihiko Uchibori, and Katsumi Wasaki