• DocumentCode
    1698815
  • Title

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

  • Author

    Ninomiya, Tomoko ; Mukaidono, Masao

  • Author_Institution
    Dept. of Int. Bus. Adm., Tamagawa Univ., Tokyo
  • fYear
    2009
  • Firstpage
    280
  • Lastpage
    285
  • Abstract
    The method of indeterminate coefficients is a strong tool to find out finite models satisfying a system of axioms and to prove that an axiom is independent from the other axioms. We describe the results which were obtained by investigating some systems of axioms based on the method. Then we show some remained problems.
  • Keywords
    Boolean algebra; axiom systems; finite models; indeterminate coefficients; Boolean algebra; Computer science; Counting circuits; Equations; Logic; B.Russell´s logical axioms; Boolean algebra; Kleene algebra; the method of indeterminate coefficients;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Multiple-Valued Logic, 2009. ISMVL '09. 39th International Symposium on
  • Conference_Location
    Naha, Okinawa
  • ISSN
    0195-623X
  • Print_ISBN
    978-1-4244-3841-9
  • Electronic_ISBN
    0195-623X
  • Type

    conf

  • DOI
    10.1109/ISMVL.2009.67
  • Filename
    5010413
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1698815