The algebra of fuzzy logic

  • Albert P
  • 2

    Readers

    Mendeley users who have this article in their library.
  • 11

    Citations

    Citations of this article.

Abstract

In the following, human thinking based on premises with no complete truth value is reviewed for controlling the algebra of fuzzy sets operations. Assuming a system may be developed in this sphere, it should be considered as the algebra of fuzzy sets, as the same algebra is satisfied by classical logic and sets. As will be proved, this algebra is not a lattice and consequently the Zadeh definitions do not constitute an adequate representation. The binary operations of my algebra are "interactive" types. An axiom system is given that, in my opinion, is the foundation of the conception, adequately and without redundancy. The agreement of the theorems deduced from the axiom system with the intuitive expectations is shown. A special arithmetical structure satisfying this algebra is given, and the relation between this structure and the theory of probability is analyzed. Adapting a process of classical logics, fuzzy quantifiers are defined on the basis of the operations of propositional algebra. A "qualifier" is also defined. The qualifier is functional; applying it to Ax we get the statement "usually Ax" s a middle cource between the statements "at least once Ax" and "always Ax". The concept of entailment of fuzzy logics is introduced. This concept is an innovative generalization of the classical deduction theory, opposite to the concept of entailment of classical multi-valued logics. An important error of the abbreviated system of notation of the fuzzy theory [e.g. m(x, A v B)] appears: the functional type operations (e.g. quantifiers) cannot be interpreted in propositional calculus. Therefore a new system of symbols is proposed in this paper. ?? 1978.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Peter Albert

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free