Source: wikibot/residuated-boolean-algebra
= Residuated Boolean algebra
{wiki=Residuated_Boolean_algebra}
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.