Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Residuated_Boolean_algebra> ?p ?o }
Showing triples 1 to 36 of
36
with 100 triples 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 wikiPageLength "8913".
- Residuated_Boolean_algebra wikiPageOutDegree "18".
- Residuated_Boolean_algebra wikiPageRevisionID "607163820".
- Residuated_Boolean_algebra wikiPageWikiLink Alfred_Tarski.
- Residuated_Boolean_algebra wikiPageWikiLink Boolean_algebra_(structure).
- Residuated_Boolean_algebra wikiPageWikiLink Category:Algebraic_logic.
- Residuated_Boolean_algebra wikiPageWikiLink Category:Boolean_algebra.
- Residuated_Boolean_algebra wikiPageWikiLink Category:Fuzzy_logic.
- Residuated_Boolean_algebra wikiPageWikiLink Category:Mathematical_logic.
- Residuated_Boolean_algebra wikiPageWikiLink De_Morgans_laws.
- Residuated_Boolean_algebra wikiPageWikiLink Material_conditional.
- Residuated_Boolean_algebra wikiPageWikiLink Mathematics.
- Residuated_Boolean_algebra wikiPageWikiLink Relation_algebra.
- Residuated_Boolean_algebra wikiPageWikiLink Residuated_lattice.
- Residuated_Boolean_algebra wikiPageWikiLink Variety_(universal_algebra).
- Residuated_Boolean_algebra wikiPageWikiLinkText "Residuated Boolean algebra".
- Residuated_Boolean_algebra wikiPageWikiLinkText "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 hypernym Lattice.
- Residuated_Boolean_algebra type ArchitecturalStructure.
- Residuated_Boolean_algebra type Field.
- Residuated_Boolean_algebra type Redirect.
- 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 sameAs Q7315522.
- Residuated_Boolean_algebra sameAs m.02wvmtp.
- Residuated_Boolean_algebra sameAs Q7315522.
- Residuated_Boolean_algebra sameAs 剩余布尔代数.
- Residuated_Boolean_algebra wasDerivedFrom Residuated_Boolean_algebra?oldid=607163820.
- Residuated_Boolean_algebra isPrimaryTopicOf Residuated_Boolean_algebra.