Positive Subreducts in Finitely Generated Varieties of MV-algebras

Authors

Leonardo M. Cabrer
Peter Jipsen, Chapman UniversityFollow
Tomáš Kroupa, Czech Academy of Sciences

Document Type

Article

Publication Date

1-2019

Abstract

Positive MV-algebras are negation-free and implication-free subreducts of MV-algebras. In this contribution we show that a finite axiomatic basis exists for the quasivariety of positive MV-algebras coming from any finitely generated variety of MV-algebras.

Comments

This paper was part of an invited talk at SYSMICS 2019, held in January 2019 at the University of Amsterdam.

Recommended Citation

L. M. Cabrer, P. Jipsen, and T. Kroupa. Positive subreducts in finitely generated varieties of MV-algebras. Presented at SYSMICS, Amsterdam, 2019.