#### Filter Results:

- Full text PDF available (0)

#### Publication Year

1978

2009

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- Tomoko Ninomiya, Masao Mukaidono
- ISMVL
- 2003

- Tomoko Ninomiya, Masao Mukaidono
- ISMVL
- 1999

- Tomoko Ninomiya
- SMC
- 2005

- Tomoko Ninomiya, Masao Mukaidono
- ISMVL
- 2002

- Tomoko Ninomiya, Masao Mukaidono
- ISMIS
- 2000

- Motinori Goto, Shinji Kao, Tomoko Ninomiya
- MVL '78
- 1978

Usually the number of truth-values and the meanings of operators in a given axiom set for many-valued logic are not defined explicitly but done implicitly by many formulas derived from the set. However, it is very laborious to determine them. In this paper, axioms and undefined operators are treated as logical equations and unknown logical functionsā¦ (More)

- T. Ninomiya
- 2006 World Automation Congress
- 2006

By using the method of indeterminate coefficients, we can examine the independence of each axiom of a system of axioms. In this paper, we treat the Russell's classical logical system of axioms. We examine whether each axiom is independent or not from the other axioms and show the results.

- Tomoko Ninomiya, Masao Mukaidono
- ISMVL
- 2009

- Tomoko Ninomiya, Masao Mukaidono
- ISMVL
- 2000

- T. Ninomiya, M. Mukaidono
- Proceedings World Automation Congress, 2004.
- 2004

By using the Method of lndeterminate Coefficients, we can clarify the fundamental properties of axioms of Kleene algebra, especially derive finite models of the algebra. In this paper, we transform the logical equations to those including one kind of unknown logical function. Finally, all models of kleene algebra of 9 elements are derived

- ā¹
- 1
- āŗ