On differential lattices

Aiping Gan,Li Guo
DOI: https://doi.org/10.1007/s00500-022-07101-z
IF: 3.732
2022-04-28
Soft Computing
Abstract:This paper studies the differential lattice, defined to be a lattice L equipped with a map d:L→L\documentclass[12pt]{minimal}\usepackage{amsmath}\usepackage{wasysym}\usepackage{amsfonts}\usepackage{amssymb}\usepackage{amsbsy}\usepackage{mathrsfs}\usepackage{upgreek}\setlength{\oddsidemargin}{-69pt}\begin{document}$$d:L\rightarrow L$$\end{document} that satisfies a lattice analog of the Leibniz rule for a derivation. Isomorphic differential lattices are studied and classifications of differential lattices are obtained for some basic lattices. Several families of derivations on a lattice are explicitly constructed, giving realizations of the lattice as lattices of derivations. Derivations on a finite distributive lattice are shown to have a natural structure of lattice. Moreover, derivations on a complete infinitely distributive lattice form a complete lattice. For a general lattice, it is conjectured that its poset of derivations is a lattice that uniquely determines the given lattice.
computer science, artificial intelligence, interdisciplinary applications
What problem does this paper attempt to address?