On the extensions of Di Nola's Theorem
Logic
2013-05-16 v1
Abstract
The main aim of this paper is to present a direct proof of Di Nola's representation Theorem for MV-algebras and to extend his results to the restriction of the standard MV-algebra on rational numbers. The results are based on a direct proof of the theorem which says that any finite partial subalgebra of a linearly ordered MV-algebra can be embedded into
Keywords
Cite
@article{arxiv.1305.3408,
title = {On the extensions of Di Nola's Theorem},
author = {Michal Botur and Jan Paseka},
journal= {arXiv preprint arXiv:1305.3408},
year = {2013}
}