Determination of the fittest number of truth-values and canonical forms of logical functions for a many-valued axiom set by a computer. - Motinori Goto; Shinji Kao; Tomoko Ninomiya (MVL, 1978)

Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients. - Tomoko Ninomiya; Masao Mukaidono (ISMVL, 1999)

Fundamental Properties on Axioms of Kleene Algebra. - Tomoko Ninomiya; Masao Mukaidono (ISMIS, 2000)

Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic. - Tomoko Ninomiya; Masao Mukaidono (ISMVL, 2000)

Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra. - Tomoko Ninomiya; Masao Mukaidono (ISMVL, 2002)

Complete and Independent Sets of Axioms of Boolean Algebra. - Tomoko Ninomiya; Masao Mukaidono (ISMVL, 2003)

Clustering observations using fuzzy similarities between ordered categorical data. - Tomoko Ninomiya (SMC, 2005)

Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients. - Tomoko Ninomiya; Masao Mukaidono (ISMVL, 2009)