• DocumentCode
    2924816
  • Title

    The Independence of Axioms of B. Russell´s Logical System of Axioms

  • Author

    Ninomiya, Tomoko

  • Author_Institution
    Tamagawa Univ., Machida
  • fYear
    2006
  • fDate
    24-26 July 2006
  • Firstpage
    1
  • Lastpage
    6
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automation Congress, 2006. WAC '06. World
  • Conference_Location
    Budapest
  • Print_ISBN
    1-889335-33-9
  • Type

    conf

  • DOI
    10.1109/WAC.2006.375937
  • Filename
    4259853
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2924816