This HTML5 document contains 42 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n14https://global.dbpedia.org/id/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n4http://www1.chapman.edu/~jipsen/dissertation/
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
n15https://link.springer.com/article/

Statements

Subject Item
dbr:Relation_algebra
dbo:wikiPageWikiLink
dbr:Residuated_Boolean_algebra
Subject Item
dbr:Residuated_Boolean_algebra
rdf:type
dbo:ArchitecturalStructure
rdfs:label
剩余布尔代数 Residuated Boolean algebra
rdfs: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. 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. 在数学中，剩余布尔代数是其格结构是布尔代数的剩余格。例子包括幺半群乘法选取为合取的布尔代数，在串接运算之下的给定字母表 Σ 的所有形式语言的集合，在关系复合运算之下的给定集合 X 上所有二元关系的集合，和更一般的在关系复合之下的任何等价类的幂集。最初的应用是作为关系代数中二元关系例子的有限公理化推广，但是存在不是关系代数的有趣的剩余布尔代数的例子，比如语言例子。
dcterms:subject
dbc:Mathematical_logic dbc:Algebraic_logic dbc:Fuzzy_logic dbc:Boolean_algebra
dbo:wikiPageID
12435391
dbo:wikiPageRevisionID
1049976455
dbo:wikiPageWikiLink
dbr:Variety_(universal_algebra) dbc:Boolean_algebra dbc:Mathematical_logic dbc:Algebraic_logic dbr:Mathematics dbr:Residuated_lattice dbr:Relation_algebra dbr:De_Morgan's_laws dbr:Alfred_Tarski dbr:Material_conditional dbc:Fuzzy_logic dbr:Boolean_algebra_(structure)
dbo:wikiPageExternalLink
n4: n15:10.1007%2FBF01195378%3FLI=true
owl:sameAs
freebase:m.02wvmtp wikidata:Q7315522 n14:4u15S dbpedia-zh:剩余布尔代数
dbp:wikiPageUsesTemplate
dbt:Ordered_list
dbo: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. 在数学中，剩余布尔代数是其格结构是布尔代数的剩余格。例子包括幺半群乘法选取为合取的布尔代数，在串接运算之下的给定字母表 Σ 的所有形式语言的集合，在关系复合运算之下的给定集合 X 上所有二元关系的集合，和更一般的在关系复合之下的任何等价类的幂集。最初的应用是作为关系代数中二元关系例子的有限公理化推广，但是存在不是关系代数的有趣的剩余布尔代数的例子，比如语言例子。
gold:hypernym
dbr:Lattice
prov:wasDerivedFrom
wikipedia-en:Residuated_Boolean_algebra?oldid=1049976455&ns=0
dbo:wikiPageLength
8270
foaf:isPrimaryTopicOf
wikipedia-en:Residuated_Boolean_algebra
Subject Item
dbr:Residuated_lattice
dbo:wikiPageWikiLink
dbr:Residuated_Boolean_algebra
Subject Item
dbr:Outline_of_logic
dbo:wikiPageWikiLink
dbr:Residuated_Boolean_algebra
Subject Item
dbr:Residuated_boolean_algebra
dbo:wikiPageWikiLink
dbr:Residuated_Boolean_algebra
dbo:wikiPageRedirects
dbr:Residuated_Boolean_algebra
Subject Item
wikipedia-en:Residuated_Boolean_algebra
foaf:primaryTopic
dbr:Residuated_Boolean_algebra