8 citations · 37 across the 12 of their papers we have counts for
6 papers · 1 filter
Mutually exclusive nuances of truth in Moisil logic
Denisa Diaconescu, Ioana Leustean
Moisil logic, having as algebraic counterpart Łukasiewicz-Moisil algebras, provide an alternative way to reason about vague information based on the following principle: a many-val…
Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
Serafina Lapenta, Ioana Leustean
Our main issue was to understand the connection between Łukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we de…
A general view of the algebraic semantics of Łukasiewicz logic with product
Serafina Lapenta, Ioana Leustean
This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category…
The Riesz hull of a semisimple MV-algebra
Denisa Diaconescu, Ioana Leustean
MV-algebras and Riesz MV-algebras are categorically equivalent to abelian lattice-ordered groups with strong unit and, respectively, with Riesz spaces (vector-lattices) with strong…
Scalar extensions for algebraic structures of Lukasiewicz logic
Serafina Lapenta, Ioana Leustean
In this paper we study the tensor product for MV-algebras, the algebraic structures of Łukasiewicz -valued logic. Our main results are: the proof that the tensor product is…
Stochastic independence for probability MV-algebras
Serafina Lapenta, Ioana Leustean
We prove that any MV-algebra has a faithful state can be embedded in an \em{f}MV-algebra of integrable functions. As consequence, we prove Hölder's inequality and Hausdorff moment…