English
Related papers

Related papers: Maximal residuated lattices with lifting Boolean c…

200 papers

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 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;…

Logic · Mathematics 2015-02-03 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 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 ring theory, the lifting idempotent property (LIP) is related to some important classes of rings: clean rings, exchange rings, local and semilocal rings, Gelfand rings,maximal rings, etc. Inspired by LIP, there were defined lifting…

Logic in Computer Science · Computer Science 2019-01-21 Daniela Cheptea , George Georgescu

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

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

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

Divisible residuated lattices are algebraic structures corresponding to a more comprehensive logic than Hajek's basic logic with an important significance in the study of fuzzy logic. The purpose of this paper is to investigate commutative…

Rings and Algebras · Mathematics 2024-11-07 Cristina Flaut , Dana Piciu

In this paper, the class of quasicomplemented residuated lattices is introduced and investigated, as a subclass of residuated lattices in which any prime filter not containing any dense element is a minimal prime filter. The notion of…

Rings and Algebras · Mathematics 2019-04-24 Saeed Rasouli

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…

Logic · Mathematics 2015-02-03 Claudia Mureşan

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 introduce a topology on the set of isomorphism classes of finitely generated modules over an associative algebra. Then we focus on the relative topology on the set of isomorphism classes of maximal Cohen--Macaulay modules…

Commutative Algebra · Mathematics 2019-04-15 Naoya Hiramatsu , Ryo Takahashi

We characterize all residuated lattices that have height equal to $3$ and show that the variety they generate has continuum-many subvarieties. More generally, we study unilinear residuated lattices: their lattice is a union of disjoint…

Logic · Mathematics 2023-04-13 Nick Galatos , Xiao Zhuang

A residuated lattice is defined to be integrally closed if it satisfies the equations x\x = e and x/x = e. Every integral, cancellative, or divisible residuated lattice is integrally closed, and, conversely, every bounded integrally closed…

Logic · Mathematics 2019-11-18 José Gil-Férez , Frederik Lauridsen , George Metcalfe

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

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

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

Logic · Mathematics 2023-06-13 Paolo Lipparini

The aim of this paper is to study the profiniteness of compact topological residuated lattices and the existence of Hausdorff topological residuated lattices. Firstly, we study profinite residuated lattices and obtain sufficient and…

Logic · Mathematics 2023-02-23 Jiang Yang , Pengfei He , Juntao Wang

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
‹ Prev 1 2 3 10 Next ›