Bases of closure systems

Kira Adaricheva, J. B. Nation

Research output: Chapter in Book/Report/Conference proceedingChapter

2 Citations (Scopus)

Abstract

In Section 4-2.2 we discussed the fundamental connection between closure systems and sets of implications. In this chapter, we will look into the canonical forms of representations of a closure system by implications. Most of the results are inspired by the structure of the closure lattice and its properties. In particular, we will be concerned with effective representations of closure systems whose closure lattices are join-semidistributive, lower bounded or locally distributive.

Original languageEnglish
Title of host publicationLattice Theory
Subtitle of host publicationSpecial Topics and Applications
PublisherSpringer International Publishing
Pages181-213
Number of pages33
Volume2
ISBN (Electronic)9783319442365
ISBN (Print)9783319442358
DOIs
Publication statusPublished - Jan 1 2016

Fingerprint

Closure
Canonical form
Join

ASJC Scopus subject areas

  • Mathematics(all)

Cite this

Adaricheva, K., & Nation, J. B. (2016). Bases of closure systems. In Lattice Theory: Special Topics and Applications (Vol. 2, pp. 181-213). Springer International Publishing. https://doi.org/10.1007/978-3-319-44236-5_6

Bases of closure systems. / Adaricheva, Kira; Nation, J. B.

Lattice Theory: Special Topics and Applications. Vol. 2 Springer International Publishing, 2016. p. 181-213.

Research output: Chapter in Book/Report/Conference proceedingChapter

Adaricheva, K & Nation, JB 2016, Bases of closure systems. in Lattice Theory: Special Topics and Applications. vol. 2, Springer International Publishing, pp. 181-213. https://doi.org/10.1007/978-3-319-44236-5_6
Adaricheva K, Nation JB. Bases of closure systems. In Lattice Theory: Special Topics and Applications. Vol. 2. Springer International Publishing. 2016. p. 181-213 https://doi.org/10.1007/978-3-319-44236-5_6
Adaricheva, Kira ; Nation, J. B. / Bases of closure systems. Lattice Theory: Special Topics and Applications. Vol. 2 Springer International Publishing, 2016. pp. 181-213
@inbook{4b58e0de1fd84617a0495baf4fb5bc4e,
title = "Bases of closure systems",
abstract = "In Section 4-2.2 we discussed the fundamental connection between closure systems and sets of implications. In this chapter, we will look into the canonical forms of representations of a closure system by implications. Most of the results are inspired by the structure of the closure lattice and its properties. In particular, we will be concerned with effective representations of closure systems whose closure lattices are join-semidistributive, lower bounded or locally distributive.",
author = "Kira Adaricheva and Nation, {J. B.}",
year = "2016",
month = "1",
day = "1",
doi = "10.1007/978-3-319-44236-5_6",
language = "English",
isbn = "9783319442358",
volume = "2",
pages = "181--213",
booktitle = "Lattice Theory",
publisher = "Springer International Publishing",

}

TY - CHAP

T1 - Bases of closure systems

AU - Adaricheva, Kira

AU - Nation, J. B.

PY - 2016/1/1

Y1 - 2016/1/1

N2 - In Section 4-2.2 we discussed the fundamental connection between closure systems and sets of implications. In this chapter, we will look into the canonical forms of representations of a closure system by implications. Most of the results are inspired by the structure of the closure lattice and its properties. In particular, we will be concerned with effective representations of closure systems whose closure lattices are join-semidistributive, lower bounded or locally distributive.

AB - In Section 4-2.2 we discussed the fundamental connection between closure systems and sets of implications. In this chapter, we will look into the canonical forms of representations of a closure system by implications. Most of the results are inspired by the structure of the closure lattice and its properties. In particular, we will be concerned with effective representations of closure systems whose closure lattices are join-semidistributive, lower bounded or locally distributive.

UR - http://www.scopus.com/inward/record.url?scp=85018076865&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85018076865&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-44236-5_6

DO - 10.1007/978-3-319-44236-5_6

M3 - Chapter

SN - 9783319442358

VL - 2

SP - 181

EP - 213

BT - Lattice Theory

PB - Springer International Publishing

ER -