Skip to main content

Structural Functionality as a Fundamental Property of Boolean Algebra and Base for Its Real-Valued Realizations

  • Conference paper
Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU 2014)

Abstract

The value of the complex Boolean function can be calculated directly on the basis of its components value. It is a principle known as the truth functionality. Properties of the Boolean algebra have indifferent values. The truth functional principle is taken as a valid principle in general case in the conventional generalization: multi-valued and/or real-valued realizations (fuzzy logic in the broad sense). This paper presents that truth functionality is not valued indifferent property of the Boolean algebra and it is valid only in two-valued realization, and thus it cannot be the basic of the value generalization. The value generalization (real-valued realizations) enables incomparably more descriptiveness than the two-valued classical Boolean algebra, so that the finite Boolean algebra is enough for any real application. Each finite Boolean algebra is atomic. Every Boolean function (the element of the analyzed finite Boolean algebra) can be presented uniquely as disjunction of the relevant atoms – disjunctive canonical form. Which atoms are and which are not included in the analyzed Boolean function is defined by its structure: 0-1 vector which dimension matches the number of atoms (in the case of n independent variables, the number of atoms is 2n). Atom corresponds uniquely to each vector structure position and value 0 means that the adequate atom is not included in the analyzed function, and 1 means that it is included. The principle of the structural functionality is: the structure of the complex Boolean function is defined directly on the basis of its components structure. The truth functionality is a value image of the structural functionality only in the case of two-valued realization. Each insisting on the truth functionality, such as in the case of conventional multi-valued logic and fuzzy logic in general sense, is unjustified from the point of the Boolean consistency.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Zadeh, L.A.: From Circuit Theory to System Theory. In: Proc. of Institute of Ratio Engineering, vol. 50, pp. 856–865 (1962)

    Google Scholar 

  2. Boole, G.: The Calculus of Logic. The Cambridge and Dublin Mathematical Journal 3, 183–198 (1848)

    Google Scholar 

  3. Radojevic, D.: New [0,1]-valued logic: A natural generalization of Boolean logic. Yugoslav Journal of Operational Research - YUJOR 10(2), 185–216 (2000)

    MATH  MathSciNet  Google Scholar 

  4. Radojevic, D.: There is Enough Room for Zadeh’s Ideas, Besides Aristotle’s in a Boolean Frame. In: 2nd International Workshop on Soft Computing Applications, SOFA 2007 (2007)

    Google Scholar 

  5. Radojevic, D.: Interpolative Realization of Boolean algebra as a Consistent Frame for Gradation and/or Fuzziness. In: Nikravesh, M., Kacprzyk, J., Zadeh, L.A. (eds.) Forging New Frontiers: Fuzzy Pioneers II. STUDFUZZ, vol. 218, pp. 295–317. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Radojevic, D.: Real-valued realization of Boolean algebra is natural frame for consistent fuzzy logic. In: Seising, R., Trillas, E., Moraga, C., Termini, S. (eds.) On Fuzziness, A Homage to Lotfi Zadeh. STUDFUZZ, vol. 2, pp. 559–566. Springer, Heidelberg (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Radojević, D.G. (2014). Structural Functionality as a Fundamental Property of Boolean Algebra and Base for Its Real-Valued Realizations. In: Laurent, A., Strauss, O., Bouchon-Meunier, B., Yager, R.R. (eds) Information Processing and Management of Uncertainty in Knowledge-Based Systems. IPMU 2014. Communications in Computer and Information Science, vol 443. Springer, Cham. https://doi.org/10.1007/978-3-319-08855-6_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-08855-6_4

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-08854-9

  • Online ISBN: 978-3-319-08855-6

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics