relation algebra (Q5965969)

residuated Boolean algebra equipped with an involution (converse)

Language	Label	Description	Also known as
English	relation algebra	residuated Boolean algebra equipped with an involution (converse)

Statements

subclass of

residuated Boolean algebra

0 references

defining formula

{\begin{aligned}a\lor b&=b\lor a\\a\lor (b\lor c)&=(a\lor b)\lor c\\{\overline {{\bar {a}}\lor {\bar {b}}}}\lor {\overline {{\bar {a}}\lor b}}&=a\\a\cdot (b\cdot c)&=(a\cdot b)\cdot c\\a\cdot 1&=a\\{\hat {\hat {a}}}&=a\\{\widehat {a\cdot b}}&={\hat {b}}\cdot {\hat {a}}\\{\widehat {a\lor b}}&={\hat {a}}\lor {\hat {b}}\\(a\lor b)\cdot c&=(a\cdot c)\lor (b\cdot c)\\({\hat {a}}\cdot {\overline {a\cdot b}})\lor {\bar {b}}&={\bar {b}}\end{aligned}}

0 references

maintained by WikiProject

WikiProject Mathematics

0 references

Identifiers

Freebase ID

/m/0bz9cf

0 references

Microsoft Academic ID

0 references

1 reference

26 January 2022

https://docs.openalex.org/download-snapshot/snapshot-data-format

relation algebra (Q5965969)

Statements

Identifiers

Sitelinks

Wikipedia(3 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Navigation menu

relation algebra (Q5965969)

Statements

Identifiers

Sitelinks

Wikipedia(3 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)

Navigation menu

Search