Ioana Leustean

Learn More
The non-commutative counterpart of the well-known Łukasiewicz propositional logic is developed, in strong connection with the algebraic theory of psMV-algebras. An extension by a new unary logical connective is also considered and a stronger completeness result is proved for this system. The system PL presented in this paper can be seen as the(More)
The state theory on MV-algebras is a generalization of Boolean probability theory and is a counterpart of the theory of states defined on lattice-ordered groups. We first investigate the metric space naturally associated to an MV-algebra with a state. The metric completion of an MV-algebra is defined and characterized in relation with the geometric(More)