On (finite) distributive lattices with antitone involutions

Jan Kühr; Michal Botur

doi:10.29007/81mc

Download PDF Open PDF in browser

On (finite) distributive lattices with antitone involutions

1 pages•Published: July 28, 2014

Jan Kühr and Michal Botur

Abstract

Finite distributive lattices with antitone involutions (= basic algebras) are studied; it is proved that their underlying lattices are isomorphic to direct products of finite chains, and hence finite distributive basic algebras can be constructed by “perturbing” finite MV-algebras, and moreover, under certain natural conditions, they even coincide with finite MV-algebras.

Keyphrases: effect algebra, lattice with antitone involutions, MV-algebra

In: Nikolaos Galatos, Alexander Kurz and Constantine Tsinakis (editors). TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, vol 25, pages 140--140

Links:	https://easychair.org/publications/paper/s9K
	https://doi.org/10.29007/81mc

BibTeX entry

@inproceedings{TACL2013:On_finite_distributive_lattices,
  author    = {Jan K\textbackslash{}"uhr and Michal Botur},
  title     = {On (finite) distributive lattices with antitone involutions},
  booktitle = {TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic},
  editor    = {Nikolaos Galatos and Alexander Kurz and Constantine Tsinakis},
  series    = {EPiC Series in Computing},
  volume    = {25},
  pages     = {140},
  year      = {2014},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {https://easychair.org/publications/paper/s9K},
  doi       = {10.29007/81mc}}

Download PDF Open PDF in browser