Title :
The Independence of Axioms of B. Russell´s Logical System of Axioms
Author :
Ninomiya, Tomoko
Author_Institution :
Tamagawa Univ., Machida
Abstract :
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.
Keywords :
formal logic; Russell classical logical system; axiom; Automation; Counting circuits; Logic; Russell´s logical system of axioms; The Independence of axioms; The Method of Indeterminate Coefficients; soft computing;
Conference_Titel :
Automation Congress, 2006. WAC '06. World
Conference_Location :
Budapest
Print_ISBN :
1-889335-33-9
DOI :
10.1109/WAC.2006.375937
