Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Residuated_Boolean_algebra> ?p ?o. }
Showing items 1 to 17 of
17
with 100 items per page.
- Residuated_Boolean_algebra abstract "In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean algebras with the monoid taken to be conjunction, the set of all formal languages over a given alphabet Σ under concatenation, the set of all binary relations on a given set X under relational composition, and more generally the power set of any equivalence relation, again under relational composition. The original application was to relation algebras as a finitely axiomatized generalization of the binary relation example, but there exist interesting examples of residuated Boolean algebras that are not relation algebras, such as the language example.".
- Residuated_Boolean_algebra wikiPageExternalLink dissertation.
- Residuated_Boolean_algebra wikiPageID "12435391".
- Residuated_Boolean_algebra wikiPageRevisionID "578157281".
- Residuated_Boolean_algebra hasPhotoCollection Residuated_Boolean_algebra.
- Residuated_Boolean_algebra subject Category:Algebraic_logic.
- Residuated_Boolean_algebra subject Category:Boolean_algebra.
- Residuated_Boolean_algebra subject Category:Fuzzy_logic.
- Residuated_Boolean_algebra subject Category:Mathematical_logic.
- Residuated_Boolean_algebra comment "In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean algebras with the monoid taken to be conjunction, the set of all formal languages over a given alphabet Σ under concatenation, the set of all binary relations on a given set X under relational composition, and more generally the power set of any equivalence relation, again under relational composition.".
- Residuated_Boolean_algebra label "Residuated Boolean algebra".
- Residuated_Boolean_algebra label "剩余布尔代数".
- Residuated_Boolean_algebra sameAs m.02wvmtp.
- Residuated_Boolean_algebra sameAs Q7315522.
- Residuated_Boolean_algebra sameAs Q7315522.
- Residuated_Boolean_algebra wasDerivedFrom Residuated_Boolean_algebra?oldid=578157281.
- Residuated_Boolean_algebra isPrimaryTopicOf Residuated_Boolean_algebra.