Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01828804n
Noun Concept
Categories: Ordered algebraic structures, Lattice theory, Mathematical logic, Fuzzy logic, All articles that may have off-topic sections
EN
residuated lattice  residuated semilattice
EN
In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x ≤ y and a monoid x•y which admits operations x\z and z/y, loosely analogous to division or implication, when x•y is viewed as multiplication or conjunction, respectively. Wikipedia
Definitions
Relations
Sources
EN
In abstract algebra, a residuated lattice is an algebraic structure that is simultaneously a lattice x ≤ y and a monoid x•y which admits operations x\z and z/y, loosely analogous to division or implication, when x•y is viewed as multiplication or conjunction, respectively. Wikipedia
algebraic structure that is both a lattice and a monoid, with operations x\z and z/y, analogous to division or implication, when the monoid operation is viewed as multiplication or conjunction, respectively Wikidata
IS A
monoid
lattice
HAS KIND
residuated Boolean algebra
MV-algebra
Heyting algebra
Wikipedia
EN
residuated lattice
Wikidata
EN
residuated lattice
Wikipedia Redirections
EN
residuated semilattice

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License