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. |

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