Rational Lukasiewicz logic and DMV-algebras

Abstract

In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational coefficients. Correspondingly, Rational Łukasiewicz logic is defined.

arXiv commentPaper appeared in 2001. The last section of the paper contains mistakes

Cited by in corpus (1)

• Stochastic independence for probability MV-algebras