In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra equipped with an involution called "converse". The motivating example of a relation algebra is the algebra 2 of all binary relations on a set X, with R•S interpreted as the usual composition of binary relations and the converse of R as the inverse relation. Relation algebra emerged in the 19th century work of Augustus De Morgan and Charles Peirce, which culminated in the algebraic logic of Ernst Schröder.
| Property | Value |
|---|
| dbpprop:abstract
|
- In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra equipped with an involution called "converse". The motivating example of a relation algebra is the algebra 2 of all binary relations on a set X, with R•S interpreted as the usual composition of binary relations and the converse of R as the inverse relation. Relation algebra emerged in the 19th century work of Augustus De Morgan and Charles Peirce, which culminated in the algebraic logic of Ernst Schröder. The present-day purely equational form or relation algebra was developed by Alfred Tarski and his students, starting in the 1940s.
- 在数学中，关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 <math>2^{X^2}</math>，带有 R•S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。
|
| dbpprop:hasPhotoCollection
| |
| dbpprop:reference
| |
| rdf:type
| |
| rdfs:comment
|
- In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra equipped with an involution called "converse". The motivating example of a relation algebra is the algebra 2 of all binary relations on a set X, with R•S interpreted as the usual composition of binary relations and the converse of R as the inverse relation. Relation algebra emerged in the 19th century work of Augustus De Morgan and Charles Peirce, which culminated in the algebraic logic of Ernst Schröder.
- 在数学中，关系代数是支持叫做逆反(converse)的对合一元运算的剩余布尔代数。激发关系代数的例子是在集合 X 上的所有二元关系的代数 <math>2^{X^2}</math>，带有 R•S 被解释为平常的二元关系复合。关系代数的早期形式形成于十九世纪德·摩根、皮尔士和 Ernst Schröder 的工作。它今日的纯等式形式是阿尔弗雷德·塔斯基和他的学生在 1940 年代开发的。
|
| rdfs:label
|
- Relation algebra
- 关系代数 (抽象代数)
|
| owl:sameAs
| |
| skos:subject
| |
| foaf:page
| |
| is dbpedia-owl:Person/knownFor
of | |
| is dbpedia-owl:knownFor
of | |
| is dbpprop:knownFor
of | |
| is owl:sameAs
of | |
![[RDF Data]](/statics/sw-cube.png)
