Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Quantale
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Complete lattice with an associative binary operation that distributes over joins
Property
Value
dbo:
description
complete lattice with an associative binary operation that distributes over joins
(en)
dbo:
wikiPageExternalLink
http://encyclopediaofmath.org/index.php%3Ftitle=Quantale&oldid=42430
dbo:
wikiPageWikiLink
dbr
:Partially_ordered_set
dbr
:Idempotent
dbr
:Mathematics
dbr
:Lattice_(order)
dbr
:Index_set
dbr
:Binary_operation
dbr
:Algebraic_structure
dbr
:Multiplication
dbr
:Map_(mathematics)
dbr
:Von_Neumann_algebra
dbr
:Unit_interval
dbr
:Homomorphism
dbr
:Monoid
dbr
:Relation_algebra
dbr
:Monoid_(category_theory)
dbr
:Ideal_(ring_theory)
dbr
:Pointless_topology
dbr
:Complete_Heyting_algebra
dbr
:Identity_element
dbr
:Complete_lattice
dbr
:Semiring
dbr
:Bob_Coecke
dbc
:Order_theory
dbr
:Meet_(mathematics)
dbr
:Residuated_lattice
dbr
:Commutative
dbr
:Greatest_element
dbr
:Associative
dbr
:C-star_algebra
dbp:
author
C.J. Mulvey
(en)
dbp:
id
Q/q130010
(en)
dbp:
title
Quantale
(en)
dbp:
wikiPageUsesTemplate
dbt
:Inline
dbt
:Reflist
dbt
:Short_description
dbt
:Springer
dbt
:Math-stub
dct:
subject
dbc
:Order_theory
rdfs:
label
Quantale
(en)
owl:
sameAs
freebase
:Quantale
wikidata
:Quantale
dbpedia-global
:Quantale
prov:
wasDerivedFrom
wikipedia-en
:Quantale?oldid=1310750131&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Quantale
is
dbo:
wikiPageRedirects
of
dbr
:Unital_quantale
is
dbo:
wikiPageWikiLink
of
dbr
:Continuous_function
dbr
:Bisimulation
dbr
:Relation_algebra
dbr
:Monoid_(category_theory)
dbr
:Order_theory
dbr
:Ideal_(ring_theory)
dbr
:Converse_relation
dbr
:Semiring
dbr
:List_of_order_theory_topics
dbr
:Residuated_lattice
dbr
:Quantaloid
dbr
:Unital_quantale
is
rdfs:
seeAlso
of
dbr
:Linear_logic
is
foaf:
primaryTopic
of
wikipedia-en
:Quantale
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International