• DocumentCode
    441923
  • Title

    A new kind of flexible interval-implication

  • Author

    Xue, Zhan-Ao ; He, Hua-Can

  • Author_Institution
    Sch. of Comput. Sci., Northwestern Polytech. Univ., Xi´´an, China
  • Volume
    5
  • fYear
    2005
  • fDate
    18-21 Aug. 2005
  • Firstpage
    2812
  • Abstract
    The implication is the emphasis and difficulty in the study of logics. From the point of view of interval structure, the operations of the universal logics including interval-intersection, interval-union, interval-complement and interval-implication are redefined based on the radical models. Regularity and monotonicity of interval-implication are proved; interval-intersection and interval-implication are proved to be an adjoint pair. In the paper, operation models of the interval-implication are firstly given in the special points of h. It is very important to the further study on flexibility of the interval-logics.
  • Keywords
    formal logic; flexible interval-implication; interval-complement; interval-intersection; interval-logics; interval-union; radical model; universal logics; Computer science; Cybernetics; Helium; Logic; Machine learning; Noise measurement; Generalized Correlation; Interval Structure; Interval-Implication; Universal Logics;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Machine Learning and Cybernetics, 2005. Proceedings of 2005 International Conference on
  • Conference_Location
    Guangzhou, China
  • Print_ISBN
    0-7803-9091-1
  • Type

    conf

  • DOI
    10.1109/ICMLC.2005.1527421
  • Filename
    1527421