Skip to main content

14 Result(s)

within Professor Dr. Da Ruan Remove this filter

and

  1. No Access

    Book

    Intelligent Data Mining

    Techniques and Applications

    Professor Dr. Da Ruan, Professor Dr. Guoqing Chen… in Studies in Computational Intelligence (2005)

  2. No Access

    Book

    Intelligent Sensory Evaluation

    Methodologies and Applications

    Professor Dr. Da Ruan… (2004)

  3. No Access

    Book

    Lattice-Valued Logic

    An Alternative Approach to Treat Fuzziness and Incomparability

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Studies in Fuzziness and Soft Computing (2003)

  4. No Access

    Chapter

    Topological Structure of Filter Spaces

    In chapter 3, filters of lattice implication algebras have been studied from algebraic viewpoint. In this chapter, a topological space based on filters of a lattice implication algebra is constructed, and its ...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  5. No Access

    Chapter

    Filters

    In classical logic and many-valued logic, Modus Ponens rule (MP rule) is very useful for a formal deduction. In this chapter, we establish the concept of filters, which is an abstraction of MP rule. We also ex...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  6. No Access

    Chapter

    Homomorphisms and Representations

    Homomorphisms are map**s that keep the operations of algebraic structures. They play an important role in studying algebraic structures, such as groups, rings, fields, and modules, etc. By discussing homomorphi...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  7. No Access

    Chapter

    Connections with Related Algebras

    BCK-algebra [194], MV-algebra [52], FI-algebra [525], residuated lattice [153], R0-algebra [500], and lattice implication algebra [534] are all related to logic. This chapter is mainly devoted to the discussion o...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  8. No Access

    Chapter

    Concepts and Properties

    In this chapter, we establish the concept of lattice implication algebra by combining lattice and implication algebra, which is a new logical algebraic system, and discuss its algebraic properties. This chapte...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  9. No Access

    Chapter

    LI-Ideals

    The concept of LI-ideal is dual to filter of lattice implication algebra. In this chapter, we establish the concepts of LI-ideal, fuzzy LI-ideal, normal fuzzy LI-ideal, intuitionistic fuzzy LI-ideal and discuss t...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  10. No Access

    Chapter

    Uncertainty and Automated Reasoning

    In this chapter, based on lattice-valued logic, we discuss some basis of applied theory for fuzziness and incomparability processing.

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  11. No Access

    Chapter

    Related Issues

    In this chapter, we discuss some issues related to lattice implication algebras. In Sections 8.1 and 8.2, we establish the categories of lattice implication algebras and fuzzy lattice implication algebras and ...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  12. No Access

    Chapter

    Introduction

    Artificial intelligence (AI) has been one of top research fields such as biology engineering, space technology, and material engineering, etc. It is a comprehensive discipline developed on the basis of multidisci...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  13. No Access

    Chapter

    Lattice-Valued First-Order Logics

    In Chapter 9, we discussed the lattice-valued propositional logics based on lattice implication algebra and their properties. In this chapter, we discuss the lattice-valued first-order logic based on lattice i...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)

  14. No Access

    Chapter

    Lattice-Valued Propositional Logics

    In Chapter 2, a logical algebra — lattice implication algebra has been established, and its properties have been discussed in Chapters 2 – 8. In this chapter, we establish lattice-valued propositional logic LP(X)...

    Professor Dr. Yang Xu, Professor Dr. Keyun Qin… in Lattice-Valued Logic (2003)