Projectivity and unification in the varieties of locally finite monadic MV-algebras

4 pages•Published: July 28, 2014

Antonio Di Nola, Revaz Grigolia and Giacomo Lenzi

Abstract

A description of finitely generated free monadic MV-algebras and
a characterization of projective monadic MV-algebras in locally finite
varieties is given. It is shown that unification type of locally finite
varieties is unitary.

Keyphrases: monadic algebra, mv algebra, projectivealgebra

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

Links:	https://easychair.org/publications/paper/3j
	https://doi.org/10.29007/x7hf

BibTeX entry

@inproceedings{TACL2013:Projectivity_unification_varieties_locally,
  author    = {Antonio Di Nola and Revaz Grigolia and Giacomo Lenzi},
  title     = {Projectivity and unification in the varieties of  locally finite monadic MV-algebras},
  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},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2398-7340},
  url       = {/publications/paper/3j},
  doi       = {10.29007/x7hf},
  pages     = {88-91},
  year      = {2014}}

Download PDF Open PDF in browser