
 Mizar Formalization of Concept Lattices
by Christoph Schwarzweller
 Definition of a Radix2^{k} SignedDigit 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
