Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
8904310 | Annals of Pure and Applied Logic | 2018 | 19 Pages |
Abstract
We study Åukasiewicz logic enriched by a scalar multiplication with scalars in [0,1]. Its algebraic models, called Riesz MV-algebras, are, up to isomorphism, unit intervals of Riesz spaces with strong unit endowed with an appropriate structure. When only rational scalars are considered, one gets the class of DMV-algebras and a corresponding logical system. Our research follows two objectives. The first one is to deepen the connections between functional analysis and the logic of Riesz MV-algebras. The second one is to study the finitely presented MV-algebras, DMV-algebras and Riesz MV-algebras, connecting them from logical, algebraic and geometric perspective.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic
Authors
Antonio Di Nola, Serafina Lapenta, Ioana LeuÅtean,