Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Relation_algebra> ?p ?o. }
Showing items 1 to 50 of
50
with 100 items per page.
- Relation_algebra abstract "In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation. The motivating example of a relation algebra is the algebra 2X² of all binary relations on a set X, that is, subsets of the cartesian square X2, with R•S interpreted as the usual composition of binary relations R and S, and with the converse of R interpreted 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 equational form of relation algebra treated here was developed by Alfred Tarski and his students, starting in the 1940s. Tarski and Givant (1987) applied relation algebra to a variable-free treatment of axiomatic set theory, with the implication that mathematics founded on set theory could itself be conducted without variables.".
- Relation_algebra wikiPageExternalLink ocbr.pdf.
- Relation_algebra wikiPageExternalLink scbr.pdf.
- Relation_algebra wikiPageExternalLink 337149.html.
- Relation_algebra wikiPageExternalLink bird99generic.html.
- Relation_algebra wikiPageExternalLink schmidt.
- Relation_algebra wikiPageExternalLink structures.
- Relation_algebra wikiPageExternalLink structures.pl?Relation_algebras.
- Relation_algebra wikiPageExternalLink Relation_algebras.pdf.
- Relation_algebra wikiPageExternalLink JipsenRAKAtutorial.pdf.
- Relation_algebra wikiPageExternalLink repr.ps.
- Relation_algebra wikiPageExternalLink Maddux1991.pdf.
- Relation_algebra wikiPageExternalLink index.html.
- Relation_algebra wikiPageExternalLink index.html.
- Relation_algebra wikiPageExternalLink 2000-02.
- Relation_algebra wikiPageExternalLink ARA.
- Relation_algebra wikiPageExternalLink ~kahl.
- Relation_algebra wikiPageExternalLink fv02.ps.
- Relation_algebra wikiPageExternalLink description.
- Relation_algebra wikiPageExternalLink 2268577.
- Relation_algebra wikiPageExternalLink relalg.html.
- Relation_algebra wikiPageExternalLink fcaic06.pdf.
- Relation_algebra wikiPageExternalLink ~jipsen.
- Relation_algebra wikiPageExternalLink dissertation.
- Relation_algebra wikiPageID "4363670".
- Relation_algebra wikiPageRevisionID "606362703".
- Relation_algebra hasPhotoCollection Relation_algebra.
- Relation_algebra subject Category:Algebraic_logic.
- Relation_algebra subject Category:Boolean_algebra.
- Relation_algebra subject Category:Mathematical_axioms.
- Relation_algebra subject Category:Mathematical_logic.
- Relation_algebra subject Category:Mathematical_relations.
- Relation_algebra type Abstraction100002137.
- Relation_algebra type AuditoryCommunication107109019.
- Relation_algebra type Communication100033020.
- Relation_algebra type MathematicalAxioms.
- Relation_algebra type Maxim107152948.
- Relation_algebra type Saying107151380.
- Relation_algebra type Speech107109196.
- Relation_algebra comment "In mathematics and abstract algebra, a relation algebra is a residuated Boolean algebra expanded with an involution called converse, a unary operation.".
- Relation_algebra label "Relation algebra".
- Relation_algebra label "关系代数 (抽象代数)".
- Relation_algebra label "関係代数 (数学)".
- Relation_algebra sameAs 関係代数_(数学).
- Relation_algebra sameAs m.0bz9cf.
- Relation_algebra sameAs Q5965969.
- Relation_algebra sameAs Q5965969.
- Relation_algebra sameAs Relation_algebra.
- Relation_algebra wasDerivedFrom Relation_algebra?oldid=606362703.
- Relation_algebra isPrimaryTopicOf Relation_algebra.