arXiv subjects

Claudia Mureşan

Publications and source records attributed to Claudia Mureşan.

24 records · Page 2Linked to original sources

arXiv2014

Algebraic and Topological Results on Lifting Properties in Residuated Lattices

We define lifting properties for universal algebras, which we study in this general context and then particularize to various such properties in certain classes of algebras. Next we focus on residuated lattices, in which we investigate lifting properties for Boolean and idempotent elements modulo arbitrary, as well as specific kinds of filters. We give topological characterizations to the lifting property for Boolean elements and several properties related to it, many of which we obtain by means of the reticulation.

math.LO↗

arXiv2010

Generalized Bosbach States

Bosbach states represent a way of probabilisticly evaluating the formulas from various (commutative or non-commutative) many-valued logics. They are defined on the algebras corresponding to these logics with values in $[0,1]$. Starting from the observation that in the definition of Bosbach states there intervenes the standard MV-algebra structure of $[0,1]$, in this paper we introduce Bosbach states defined on residuated lattices with values in residuated lattices. We are led to two types of generalized Bosbach states, with distinct behaviours. The properties of generalized Bosbach states, proven in the paper, may serve as an algebraic foundation for developping some probabilistic many-valued logics. {\bf Keywords}: Bosbach states, residuated lattices, MV-algebras, $s$-Cauchy completion, metric completion. {\bf MSC 2010}: Primary 06F35. Secondary 06D35.

math.LO↗

arXiv2010

Co-Stone residuated lattices

In this paper we present some applications of the reticulation of a residuated lattice, in the form of a transfer of properties between the category of bounded distributive lattices and that of residuated lattices through the reticulation functor. The results we are presenting are related to co-Stone algebras; among other applications, we transfer a known characterization of m-co-Stone bounded distributive lattices to residuated lattices and we prove that the reticulation functor for residuated lattices preserves the strongly co-Stone hull.

math.LO↗

arXiv2009

Further Functorial Properties of the Reticulation

In this article we prove a set of preservation properties of the reticulation functor for residuated lattices (for instance preservation of subalgebras, finite direct products, inductive limits, Boolean powers) and we transfer certain properties between bounded distributive lattices and residuated lattices through the reticulation, focusing on Stone, strongly Stone and m-Stone algebras.

math.LO↗

arXiv2009

Dense Elements and Classes of Residuated Lattices

In this paper we study the dense elements and the radical of a residuated lattice, residuated lattices with lifting Boolean center, simple, local, semilocal and quasi-local residuated lattices. BL-algebras have lifting Boolean center; moreover, Glivenko residuated lattices which fulfill a certain equation (that is satisfied by BL-algebras) have lifting Boolean center.

math.LO↗

arXiv2008

Maximal residuated lattices with lifting Boolean center

In this paper we define, inspired by ring theory, the class of maximal residuated lattices with lifting Boolean center and prove a structure theorem for them: any maximal residuated lattice with lifting Boolean center is isomorphic to a finite direct product of local residuated lattices.

math.LO↗