Tomoko Ninomiya

According to our database, Tomoko Ninomiya authored at least 8 papers between 1978 and 2009.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2009

Clarifying the Systems of Axioms Based on the Method of Indeterminate Coefficients.

Tomoko Ninomiya, Masao Mukaidono

Proceedings of the ISMVL 2009, 2009

2005

Clustering observations using fuzzy similarities between ordered categorical data.

Tomoko Ninomiya

Proceedings of the IEEE International Conference on Systems, 2005

2003

Complete and Independent Sets of Axioms of Boolean Algebra.

Tomoko Ninomiya, Masao Mukaidono

Proceedings of the 33rd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2003), 2003

2002

Independence of Each Axiom in a Set of Axioms and Complete Sets of Axioms of Boolean Algebra.

Tomoko Ninomiya, Masao Mukaidono

Proceedings of the 32nd IEEE International Symposium on Multiple-Valued Logic (ISMVL 2002), 2002

2000

Independence of the Axioms of Boolean Algebra in Multiple-Valued Logic.

Tomoko Ninomiya, Masao Mukaidono

Proceedings of the 30th IEEE International Symposium on Multiple-Valued Logic, 2000

Fundamental Properties on Axioms of Kleene Algebra.

Tomoko Ninomiya, Masao Mukaidono

Proceedings of the Foundations of Intelligent Systems, 12th International Symposium, 2000

1999

Clarifying the Axioms of Kleene Algebra based on the Method of Indeterminate Coefficients.

Tomoko Ninomiya, Masao Mukaidono

Proceedings of the 29th IEEE International Symposium on Multiple-Valued Logic, 1999

1978

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

Proceedings of the eighth international symposium on Multiple-valued logic, 1978