Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Relation_algebra> ?p ?o }
- 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 wikiPageLength "22292".
- Relation_algebra wikiPageOutDegree "137".
- Relation_algebra wikiPageRevisionID "680584599".
- Relation_algebra wikiPageWikiLink Abstract_algebra.
- Relation_algebra wikiPageWikiLink Alfred_Tarski.
- Relation_algebra wikiPageWikiLink Algebraic_logic.
- Relation_algebra wikiPageWikiLink Allegory_(category_theory).
- Relation_algebra wikiPageWikiLink Alwin_Korselt.
- Relation_algebra wikiPageWikiLink Antisymmetric_relation.
- Relation_algebra wikiPageWikiLink Arity.
- Relation_algebra wikiPageWikiLink Asymmetric_relation.
- Relation_algebra wikiPageWikiLink Augustus_De_Morgan.
- Relation_algebra wikiPageWikiLink Bijection.
- Relation_algebra wikiPageWikiLink Binary_relation.
- Relation_algebra wikiPageWikiLink Boolean_algebra.
- Relation_algebra wikiPageWikiLink Boolean_algebra_(structure).
- Relation_algebra wikiPageWikiLink Cartesian_product.
- Relation_algebra wikiPageWikiLink Category:Algebraic_logic.
- Relation_algebra wikiPageWikiLink Category:Boolean_algebra.
- Relation_algebra wikiPageWikiLink Category:Mathematical_axioms.
- Relation_algebra wikiPageWikiLink Category:Mathematical_logic.
- Relation_algebra wikiPageWikiLink Category:Mathematical_relations.
- Relation_algebra wikiPageWikiLink Charles_Sanders_Peirce.
- Relation_algebra wikiPageWikiLink Composition_of_relations.
- Relation_algebra wikiPageWikiLink Conservative_extension.
- Relation_algebra wikiPageWikiLink Coreflexive_relation.
- Relation_algebra wikiPageWikiLink Cylindric_algebra.
- Relation_algebra wikiPageWikiLink Dense_order.
- Relation_algebra wikiPageWikiLink Distributive_property.
- Relation_algebra wikiPageWikiLink Edward_Vermilye_Huntington.
- Relation_algebra wikiPageWikiLink Equivalence_relation.
- Relation_algebra wikiPageWikiLink Ernst_Schröder.
- Relation_algebra wikiPageWikiLink Extension_(predicate_logic).
- Relation_algebra wikiPageWikiLink Finitary_relation.
- Relation_algebra wikiPageWikiLink First-order_logic.
- Relation_algebra wikiPageWikiLink Function_(mathematics).
- Relation_algebra wikiPageWikiLink Group_(mathematics).
- Relation_algebra wikiPageWikiLink Group_inverse.
- Relation_algebra wikiPageWikiLink Group_theory.
- Relation_algebra wikiPageWikiLink Gunther_Schmidt.
- Relation_algebra wikiPageWikiLink Gxc3xb6dels_incompleteness_theorems.
- Relation_algebra wikiPageWikiLink Horn_clause.
- Relation_algebra wikiPageWikiLink Idempotent_relation.
- Relation_algebra wikiPageWikiLink If_and_only_if.
- Relation_algebra wikiPageWikiLink Injective_function.
- Relation_algebra wikiPageWikiLink Inverse_relation.
- Relation_algebra wikiPageWikiLink Involution_(mathematics).
- Relation_algebra wikiPageWikiLink Lattice_(order).
- Relation_algebra wikiPageWikiLink Leon_Henkin.
- Relation_algebra wikiPageWikiLink Logical_connective.
- Relation_algebra wikiPageWikiLink Logical_disjunction.
- Relation_algebra wikiPageWikiLink Logical_equivalence.
- Relation_algebra wikiPageWikiLink Logical_matrix.
- Relation_algebra wikiPageWikiLink Mathematical_logic.
- Relation_algebra wikiPageWikiLink Mathematics.
- Relation_algebra wikiPageWikiLink Metamathematics.
- Relation_algebra wikiPageWikiLink Modus_ponens.
- Relation_algebra wikiPageWikiLink Monoid.
- Relation_algebra wikiPageWikiLink Multiplicative_inverse.
- Relation_algebra wikiPageWikiLink Ordered_pair.
- Relation_algebra wikiPageWikiLink Partially_ordered_set.
- Relation_algebra wikiPageWikiLink Patrick_Suppes.
- Relation_algebra wikiPageWikiLink Paul_Halmos.
- Relation_algebra wikiPageWikiLink Peano_axioms.
- Relation_algebra wikiPageWikiLink Permutation.
- Relation_algebra wikiPageWikiLink Predicate_functor_logic.
- Relation_algebra wikiPageWikiLink Preorder.
- Relation_algebra wikiPageWikiLink Principia_Mathematica.
- Relation_algebra wikiPageWikiLink Pseudoelementary_class.
- Relation_algebra wikiPageWikiLink Quantale.
- Relation_algebra wikiPageWikiLink Quantifier_(logic).
- Relation_algebra wikiPageWikiLink Quasivariety.
- Relation_algebra wikiPageWikiLink Reduct.
- Relation_algebra wikiPageWikiLink Reflexive_relation.
- Relation_algebra wikiPageWikiLink Relation_construction.