Features of Mathematical Theories in Formal Fuzzy Logic
نویسندگان
چکیده
A genuine fuzzy approach to fuzzy mathematics consists in constructing axiomatic theories over suitable systems of formal fuzzy logic. The features of formal fuzzy logics (esp. the invalidity of the law of contraction) entail certain differences in form between theories axiomatized in fuzzy logic and usual theories known from classical mathematics. This paper summarizes the most important differences and presents guidelines for constructing new theories, defining new notions, and proving new theorems in formal fuzzy mathematics.
منابع مشابه
Number-free Mathematics Based on T-norm Fuzzy Logic
The paper presents a form of rendering classical mathematical notions by formal theories over suitable t-norm fuzzy logics in such a way that references to real numbers are eliminated from definitions and theorems, being removed to the standard semantics of fuzzy logic. Several examples demonstrate how this move conceptually simplifies the theory in exchange for non-classical reasoning, facilit...
متن کاملNew trends in recognizing experimental drives: fuzzy logic and formal language theories
Drive systems today determine the productivity and quality of industrial processes. However, they exhibit considerable complexities related with their behavior as large uncertainties at a structure and parameter levels, multidimensionality, and strong mutual interactions. With these multiplying complexities, the usual models are becoming not accurate enough. It is necessary to complement them w...
متن کاملApplications of Fuzzy Program Graph in Symbolic Checking of Fuzzy Flip-Flops
All practical digital circuits are usually a mixture of combinational and sequential logic. Flip–flops are essential to sequential logic therefore fuzzy flip–flops are considered to be among the most essential topics of fuzzy digital circuit. The concept of fuzzy digital circuit is among the most interesting applications of fuzzy sets and logic due to the fact that if there has to be an ultimat...
متن کامل