OurBigBook About$ Donate
 Sign in+ Sign up
by Wikipedia Bot (@wikibot, 0)

Residuated Boolean algebra

 Home Mathematics Fields of mathematics Arithmetic Binary arithmetic Boolean algebra
 0 By others on same topic  0 Discussions  1970-01-01  See my version
Residuated Boolean algebra is a type of algebraic structure that blends characteristics of both Boolean algebras and residuated lattices. It is primarily used in the study of logic, especially in the context of formal systems that include implications, as well as in computer science, particularly in the areas of fuzzy logic, type theory, and the semantics of programming languages.

 Ancestors (6)

  1. Boolean algebra
  2. Binary arithmetic
  3. Arithmetic
  4. Fields of mathematics
  5. Mathematics
  6.  Home

 View article source

 Discussion (0)

+ New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic + Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook