Rational Lukasiewicz logic and DMV-algebras
Logic
2024-02-16 v3
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 {\L}ukasiewicz logic is defined.
Keywords
Cite
@article{arxiv.1211.5485,
title = {Rational Lukasiewicz logic and DMV-algebras},
author = {Brunella Gerla},
journal= {arXiv preprint arXiv:1211.5485},
year = {2024}
}
Comments
Paper appeared in 2001. The last section of the paper contains mistakes