title: |
Riesz MV-algebras and their logic |
|
publication: |
||
part of series: |
Advances in Intelligent Systems Research | |
| volume-issue: | 1 - 1 | |
| pages: | 140 - 145 | |
ISBN: |
978-90-78677-00-0 | |
ISSN: |
1951-6851 | |
DOI: |
doi:10.2991/eusflat.2011.125 (how to use a DOI) | |
author(s): |
Antonio Di Nola, Ioana Leustean |
|
publication date: |
July 2011 |
|
keywords: |
RMV-algebra, MV-algebra, Riesz
space, Lukasiewicz logic. |
|
abstract: |
We develop the general theory of RMV-algebras,
which are essentially unit intervals in Riesz spaces
with strong unit. Since the variety of RMV-algebras
is generated by [0, 1], we get an equational characterization of the real product on [0,1] interpreted as
scalar multiplication. |
|
copyright: |
©
Atlantis Press. This article is distributed under the
terms of the Creative Commons Attribution License, which permits
non-commercial use, distribution and reproduction in any medium,
provided the original work is properly cited. |
|
full text: |