Nuclear ranges in implicative semilattices
A nucleus on a meet-semilattice A is a closure operation that preserves binary meets. The nuclei form a semilattice N A that is isomorphic to the system NA of all nuclear ranges, ordered by dual inclusion. The nuclear ranges are those closure ranges which are total subalgebras (l-ideals). Nuclei hav...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Birkhauser
2022
|
Subjects: | |
Online Access: | View Fulltext in Publisher |