Dissertation > Excellent graduate degree dissertation topics show

SWBR0- algebra and its weak completeness

Author: WangNing
Tutor: WuHongBo
School: Shaanxi Normal University
Course: Basic mathematics
Keywords: fuzzy logic logic algebra implication ideal reducibility weakcompleteness generating method WBR0-algebra SWBR0-algebra
CLC: O153
Type: Master's thesis
Year: 2013
Downloads: 5
Quote: 0
Read: Download Dissertation


In logic algebras, the implication operator is crucial and fundamental in the structure of the logic algebras, and WBRo-algebras is basic algebras that is defined by the implication operator and the (?) operator, and the non-order characteristic of WBRo-algebras provides an approach for setting structures of relative logic algebras and studying relationship between logic algebras. By means of the non-ordered char-acteristic of WBRo-algebras, the structure of SWBRo-algebras is set up by reduction of regularness of WBRo-algebras. Then the concepts of the implication ideal and the prime implication ideal in the structure are introduced by the the implication operator. Moreover, the properties and the applications of the implication ideal are discussed.The construction of chapters and the concrete contents of this paper are as follows:Chapter1:Preliminaries.we give the basic concepts of lattice, residuate lattice, WBR0-algebra, SWBRo-algebra which will be used in this paper.Chapter2:The properties of SWBRo-algebra. At first, the basic properties of SWBRo-algebra are discussed. Then, it is proved that SWBRo-algebras is WBR0-algebras. And the improved form of WBRo-algebra is obtained.Chapter3:The impliction ideal of SWBRo-algebra and its generating method. Firstly, the concept of the implication ideal of SWBR0-algebras is introduced. Then, the generating method of the implication ideal is given in the SWBR0-algebra.Chapter4:The relationship between the implication ideal and the congruence relation. Firstly, the concept of the congruence relation is defined. Secondly, the implication ideal derived by the congruence relation, the congruence relation derived by the implication ideal are discussed. Thirdly, the reducibility and invariability of the implication ideal and the congruence are derived by each other.Chapter5:The weak complete property of SWBR0-algebra. The quotient alge-bra of SWBRo-algebras is defined with the help of the implication idea, furthermore fundamental theorems of homomorphisms of SWBRo-algebra are obtained. Then, the prime implication ideal is defined in the SWBR0-algebras, and the theorem of conditional embedding of SWBR0-algebra is gained by use of the prime implication ideal. Moreover, the weak complete theory of SWBR0-algebra is proved.

Related Dissertations

  1. The Relation between Fuzzy Logic Guidance Law and Homing Quality,TJ765
  2. Road Traffic Safety Comprehensive Evaluation Method,U492.8
  3. Study of the Perception of Car Appearance Design,U462
  4. Cooperative Hunting of Multiple Mobile Robots under Unknown Dynamic Environment,TP242
  5. Fuzzy-GA Based Function Point Model,TP311.52
  6. Study of PMSM Position Control System Based Fuzzy Logic Theory,TM341
  7. Effect of Reactivity of Reducing Agent on Reduction Process of Carbon Pellets,TF046.6
  8. Robustness Analysis of Interval Type-2 Fuzzy Logic Systems,O231
  9. XX Coal Company warehouse management information system,TP311.52
  10. A Research of DC-DC Converter by Fuzzy Variable Structure Common Model Adaptive Control Methods,TP273
  11. An Improvement Protocol of WLAN MAC Based on Fuzzy Logic Control,TN925.93
  12. Design of Interval Type-2 Fuzzy Logic Intelligent System,TP18
  13. The Control Method Study and Software Design of Alternated Cooling and Heating Treatment,R318.0
  14. Pro/E-Based Design and Manufacturing of Two-Roll Straightening Machine Roller Type for Bar,TG333.23
  15. VSCF doubly-fed wind turbine maximum power point tracking control,TM614
  16. Rough set based on fuzzy logic washing machine Application of Fuzzy Control System,TP273.4
  17. Fuzzy Logic Based Military Software Project Risk Assessment Study,TP311.52
  18. The Research of an Electronic Commerce Recommendation System Based on Semantic Dictionary,F713.36
  19. Research on Game Model of Tender Offer Based on the Analysis of Contract Risk,F224.32
  20. Research on Material Selection for Cutting Tools Based on Environmental Factors,TG711
  21. Research on Intelligent Scheduling Teconology of Interbay System in Semiconductor Wafer Fabrication System,TH165.1

CLC: > Mathematical sciences and chemical > Mathematics > Algebra,number theory, portfolio theory > Abstract algebra ( Algebra )
© 2012 www.DissertationTopic.Net  Mobile