Ontology type: schema:Chapter
1982
AUTHORS ABSTRACTLattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory. The approach reported here goes back to the origin of the lattice concept in nineteenth-century attempts to formalize logic, where a fundamental step was the reduction of a concept to its “extent”. We propose to make the reduction less abstract by retaining in some measure the “intent” of a concept. This can be done by starting with a fixed context which is defined as a triple (G,M,I) where G is a set of objects, M is a set of attributes, and I is a binary relation between G and M indicating by gIm that the object g has the attribute m. There is a natural Galois connection between G and M defined by A′ = {m ∈ M ∣ gIm for all g ∈ A} for A \( \subseteq \) G and B’ = {g ∈ G ∣ gIm for all m ∈ B} for B \( \subseteq \) M. Now, a concept of the context (G,M,I) is introduced as a pair (A,B) with A \( \subseteq \) G, B \( \subseteq \) M, A′ = B, and B′ = A, where A is called the extent and B the intent of the concept (A,B). The hierarchy of concepts given by the relation subconcept-superconcept is captured by the definition (A1,B1) ≤ (A 2,B 2) ⇔ A 1 \( \subseteq \) A 2(⇔ B 1 \( \supseteq \) B 2) for concepts (A1,B1) and (A 2,B 2) of (G,M,I). Let L(G,M,I) be the set of all concepts of (G,M,I). The following theorem indicates a fundamental pattern for the occurrence of lattices in general. THEOREM: Let (G,M,I) be a context. Then (L(G,M,I), ≤) is a complete lattice (called the concept lattice of (G,M,I)) in which infima and suprema can be described as follows: Some examples of contexts will illustrate how various lattices occur rather naturally as concept lattices. Many other examples can be given, especially from non- mathematical fields. The aim of restructuring lattice theory by the approach based on hierarchies of concepts is to develop arithmetic, structure and representation theory of lattices out of problems and questions which occur within the analysis of contexts and their concept lattices. More... »
PAGES445-470
Ordered Sets
ISBN
978-94-009-7800-3
978-94-009-7798-3
http://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15
DOIhttp://dx.doi.org/10.1007/978-94-009-7798-3_15
DIMENSIONShttps://app.dimensions.ai/details/publication/pub.1014658433
JSON-LD is the canonical representation for SciGraph data.
TIP: You can open this SciGraph record using an external JSON-LD service: JSON-LD Playground Google SDTT
[
{
"@context": "https://springernature.github.io/scigraph/jsonld/sgcontext.json",
"about": [
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/0101",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Pure Mathematics",
"type": "DefinedTerm"
},
{
"id": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/01",
"inDefinedTermSet": "http://purl.org/au-research/vocabulary/anzsrc-for/2008/",
"name": "Mathematical Sciences",
"type": "DefinedTerm"
}
],
"author": [
{
"affiliation": {
"alternateName": "Technical University of Darmstadt",
"id": "https://www.grid.ac/institutes/grid.6546.1",
"name": [
"Fachbereich Mathematik, Technische Hochschule Darmstadt, 6100\u00a0Darmstadt, Federal Republic of Germany"
],
"type": "Organization"
},
"familyName": "Wille",
"givenName": "Rudolf",
"id": "sg:person.015235040663.98",
"sameAs": [
"https://app.dimensions.ai/discover/publication?and_facet_researcher=ur.015235040663.98"
],
"type": "Person"
}
],
"citation": [
{
"id": "https://doi.org/10.1090/s0002-9939-1972-0437407-5",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1000726734"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1090/s0002-9947-1959-0108447-9",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1012409775"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1002/malq.19560020803",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1027543387"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1090/s0002-9947-1956-0080076-2",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1027910200"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1515/crll.1979.310.56",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1038617208"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1090/s0002-9947-1937-1501929-x",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1038816705"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1090/s0002-9904-1938-06866-8",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1049743405"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01900297",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1050039277",
"https://doi.org/10.1007/bf01900297"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01900297",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1050039277",
"https://doi.org/10.1007/bf01900297"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01719499",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1052210114",
"https://doi.org/10.1007/bf01719499"
],
"type": "CreativeWork"
},
{
"id": "sg:pub.10.1007/bf01719499",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1052210114",
"https://doi.org/10.1007/bf01719499"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.1137/0205037",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1062841323"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.2307/1968883",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1069674288"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.2307/1969503",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1069674881"
],
"type": "CreativeWork"
},
{
"id": "https://doi.org/10.4153/cjm-1962-038-3",
"sameAs": [
"https://app.dimensions.ai/details/publication/pub.1072264441"
],
"type": "CreativeWork"
}
],
"datePublished": "1982",
"datePublishedReg": "1982-01-01",
"description": "Lattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory. The approach reported here goes back to the origin of the lattice concept in nineteenth-century attempts to formalize logic, where a fundamental step was the reduction of a concept to its \u201cextent\u201d. We propose to make the reduction less abstract by retaining in some measure the \u201cintent\u201d of a concept. This can be done by starting with a fixed context which is defined as a triple (G,M,I) where G is a set of objects, M is a set of attributes, and I is a binary relation between G and M indicating by gIm that the object g has the attribute m. There is a natural Galois connection between G and M defined by A\u2032 = {m \u2208 M \u2223 gIm for all g \u2208 A} for A \\( \\subseteq \\) G and B\u2019 = {g \u2208 G \u2223 gIm for all m \u2208 B} for B \\( \\subseteq \\) M. Now, a concept of the context (G,M,I) is introduced as a pair (A,B) with A \\( \\subseteq \\) G, B \\( \\subseteq \\) M, A\u2032 = B, and B\u2032 = A, where A is called the extent and B the intent of the concept (A,B). The hierarchy of concepts given by the relation subconcept-superconcept is captured by the definition (A1,B1) \u2264 (A 2,B 2) \u21d4 A 1 \\( \\subseteq \\) A 2(\u21d4 B 1 \\( \\supseteq \\) B 2) for concepts (A1,B1) and (A 2,B 2) of (G,M,I). Let L(G,M,I) be the set of all concepts of (G,M,I). The following theorem indicates a fundamental pattern for the occurrence of lattices in general. THEOREM: Let (G,M,I) be a context. Then (L(G,M,I), \u2264) is a complete lattice (called the concept lattice of (G,M,I)) in which infima and suprema can be described as follows: Some examples of contexts will illustrate how various lattices occur rather naturally as concept lattices. Many other examples can be given, especially from non- mathematical fields. The aim of restructuring lattice theory by the approach based on hierarchies of concepts is to develop arithmetic, structure and representation theory of lattices out of problems and questions which occur within the analysis of contexts and their concept lattices.",
"editor": [
{
"familyName": "Rival",
"givenName": "Ivan",
"type": "Person"
}
],
"genre": "chapter",
"id": "sg:pub.10.1007/978-94-009-7798-3_15",
"inLanguage": [
"en"
],
"isAccessibleForFree": false,
"isPartOf": {
"isbn": [
"978-94-009-7800-3",
"978-94-009-7798-3"
],
"name": "Ordered Sets",
"type": "Book"
},
"name": "Restructuring Lattice Theory: An Approach Based on Hierarchies of Concepts",
"pagination": "445-470",
"productId": [
{
"name": "doi",
"type": "PropertyValue",
"value": [
"10.1007/978-94-009-7798-3_15"
]
},
{
"name": "readcube_id",
"type": "PropertyValue",
"value": [
"45d5e092577401f4157584eacd632e87a1b0114c857a1b87f936579df0c6ddfc"
]
},
{
"name": "dimensions_id",
"type": "PropertyValue",
"value": [
"pub.1014658433"
]
}
],
"publisher": {
"location": "Dordrecht",
"name": "Springer Netherlands",
"type": "Organisation"
},
"sameAs": [
"https://doi.org/10.1007/978-94-009-7798-3_15",
"https://app.dimensions.ai/details/publication/pub.1014658433"
],
"sdDataset": "chapters",
"sdDatePublished": "2019-04-15T20:04",
"sdLicense": "https://scigraph.springernature.com/explorer/license/",
"sdPublisher": {
"name": "Springer Nature - SN SciGraph project",
"type": "Organization"
},
"sdSource": "s3://com-uberresearch-data-dimensions-target-20181106-alternative/cleanup/v134/2549eaecd7973599484d7c17b260dba0a4ecb94b/merge/v9/a6c9fde33151104705d4d7ff012ea9563521a3ce/jats-lookup/v90/0000000001_0000000264/records_8687_00000252.jsonl",
"type": "Chapter",
"url": "http://link.springer.com/10.1007/978-94-009-7798-3_15"
}
]Download the RDF metadata as: json-ld nt turtle xml License info
JSON-LD is a popular format for linked data which is fully compatible with JSON.
curl -H 'Accept: application/ld+json' 'https://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15'
N-Triples is a line-based linked data format ideal for batch operations.
curl -H 'Accept: application/n-triples' 'https://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15'
Turtle is a human-readable linked data format.
curl -H 'Accept: text/turtle' 'https://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15'
RDF/XML is a standard XML format for linked data.
curl -H 'Accept: application/rdf+xml' 'https://scigraph.springernature.com/pub.10.1007/978-94-009-7798-3_15'
This table displays all metadata directly associated to this object as RDF triples.
106 TRIPLES
23 PREDICATES
40 URIs
20 LITERALS
8 BLANK NODES