English
Related papers

Related papers: Further Functorial Properties of the Reticulation

200 papers

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…

Logic · Mathematics 2013-11-14 Claudia Mureşan

The {\em reticulation} of an algebra $A$ is a bounded distributive lattice whose prime spectrum of ideals (or filters), endowed with the Stone topology, is homeomorphic to the prime spectrum of congruences of $A$, with its own Stone…

Rings and Algebras · Mathematics 2019-11-20 George Georgescu , Leonard Kwuida , Claudia Mureşan

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…

Logic · Mathematics 2016-08-14 Daniela Cheptea , George Georgescu , Claudia Mureşan

In this paper we define the Boolean Lifting Property (BLP) for residuated lattices to be the property that all Boolean elements can be lifted modulo every filter, and study residuated lattices with BLP. Boolean algebras, chains, local and…

Logic · Mathematics 2015-02-03 George Georgescu , Claudia Muresan

In this paper, we introduce the notion of a pseudo-irreducible filter in a residuated lattice and compare this concept with related notions such as prime and maximal filters. Then, we recall the Boolean lifting property for filters and…

Logic · Mathematics 2025-01-22 Esmaeil Rostami

It is known that by using the commutator operation, for each congruence modular algebra $A$ one can define a notion of prime congruence. The set $Spec(A)$ of prime congruences of $A$ is endowed with a Zariski style topology. The…

Logic · Mathematics 2022-05-05 George Georgescu

The reticulation of an algebra $A$ is a bounded distributive lattice ${\cal L}(A)$ whose prime spectrum of filters or ideals is homeomorphic to the prime spectrum of congruences of $A$, endowed with the Stone topologies. We have obtained a…

Rings and Algebras · Mathematics 2017-06-15 George Georgescu , Claudia Mureşan

We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called $(\star )$. CBLP extends the so--called Boolean Lifting…

Logic · Mathematics 2015-10-22 George Georgescu , Claudia Mureşan

We study in general algebras Gratzer's notion of congruence preserving function, characterizing functions in terms of stability under inverse image of particular Boolean algebras of subsets generated from any subset of the algebra.…

Logic · Mathematics 2024-10-08 Patrick Cegielski , Serge Grigorieff , Irene Guessarian

In this paper we study structural properties of residuated lattices that are idempotent as monoids. We provide descriptions of the totally ordered members of this class and obtain counting theorems for the number of finite algebras in…

Logic · Mathematics 2020-04-22 José Gil-Férez , Peter Jipsen , George Metcalfe

We characterize commutative idempotent involutive residuated lattices as disjoint unions of Boolean algebras arranged over a distributive lattice. We use this description to introduce a new construction, called gluing, that allows us to…

Logic · Mathematics 2021-08-27 Peter Jipsen , Olim Tuyt , Diego Valota

Distributive Stonean residuated lattices are closely related to Stone algebras since their bounded lattice reduct is a Stone algebra. In the present work we follow the ideas presented by Chen and Gr\"{a}tzer and try to apply them for the…

Logic · Mathematics 2017-10-18 Manuela Busaniche , Roberto Cignoli , Miguel Marcos

In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…

Logic · Mathematics 2022-09-05 Paolo Aglianò , Sara Ugolini

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…

Logic · Mathematics 2015-02-03 George Georgescu , Laurenţiu Leuştean , Claudia Mureşan

We describe the basic lattice structures of attractors and repellers in dynamical systems. The structure of distributive lattices allows for an algebraic treatment of gradient-like dynamics in general dynamical systems, both invertible and…

Dynamical Systems · Mathematics 2013-07-09 William D. Kalies , Konstantin Mischaikow , Robert C. A. M. Vandervorst

This paper explores the concept of \'{e}tal\'{e} spaces associated with residuated lattices. Notions of bundles and \'{e}tal\'{e}s of residuated lattices over a given topological space are introduced and investigated. For a topological…

Rings and Algebras · Mathematics 2024-02-15 Saeed Rasouli , Seyed Naser Hosseini , Amin Dehghani

In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap…

Logic in Computer Science · Computer Science 2020-02-28 Rui Paiva , Benjamín Bedregal , Regivan Santiago

We introduce residuated ortholattices as a generalization of -- and environment for the investigation of -- orthomodular lattices. We establish a number of basic algebraic facts regarding these structures, characterize orthomodular lattices…

Logic · Mathematics 2021-09-14 Wesley Fussner , Gavin St. John

It is known that every relatively pseudocomplemented lattice is residuated and, moreover, it is distributive. Unfortunately, non-distributive lattices with a unary operation satisfying properties similar to relative pseudocomplementation…

Logic · Mathematics 2019-01-23 Ivan Chajda , Helmut Länger

We consider special flows over the rotation on the circle by an irrational $\alpha$ under roof functions of bounded variation. The roof functions, in the Lebesgue decomposition, are assumed to have a continuous singular part coming from a…

Dynamical Systems · Mathematics 2013-07-31 Adam Kanigowski
‹ Prev 1 2 3 10 Next ›