• DocumentCode
    3427783
  • Title

    Non-Archimedean Valued Sequent Logic

  • Author

    Schumann, Andrew

  • Author_Institution
    Dept. of Philos. & Sci. Methodology, Belarusian State Univ., Minsk
  • fYear
    2006
  • fDate
    Sept. 2006
  • Firstpage
    89
  • Lastpage
    92
  • Abstract
    In this paper the author proposes non-Archimedean multiple-validity and construct the logical language with the related semantics. Further he built non-Archimedean valued sequent logic. Notice that non-Archimedean valued logical system is considered for the first time
  • Keywords
    formal languages; multivalued logic; logical language; nonArchimedean valued logical system; nonArchimedean valued sequent logic; Artificial intelligence; Context modeling; Expert systems; Filters; Fuzzy logic; Fuzzy sets; H infinity control; Multivalued logic;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Symbolic and Numeric Algorithms for Scientific Computing, 2006. SYNASC '06. Eighth International Symposium on
  • Conference_Location
    Timisoara
  • Print_ISBN
    0-7695-2740-X
  • Type

    conf

  • DOI
    10.1109/SYNASC.2006.57
  • Filename
    4090303
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3427783