Results 71 to 80 of about 1,868 (178)
An investigation on the $n$-fold IVRL-filters in triangle algebras [PDF]
Mathematica Bohemica, 2020 The present study aimed to introduce $n$-fold interval valued residuated lattice (IVRL for short) filters in triangle algebras. Initially, the notions of $n$-fold (positive) implicative IVRL-extended filters and $n$-fold (positive) implicative triangle ...
Saeide Zahiri, Arsham Borumand Saeid
doaj +1 more source
Abstract residuation over lattices [PDF]
Bulletin of the American Mathematical Society, 1938 The idea of residuation goes back to Dedekind [3], † who introduced it in the theory of modules. It has since had extensive applications in the theory of algebraic modular systems [6], in the theory of ideals [8], and in certain topics of arithmetic [9]. On account of its fundamental role in several fields of modern algebra, it is desirable to consider
openaire +4 more sources
Some decompositions of filters in residuated lattices
Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, 2019 In this paper we introduce a new class of residuated lattice: residuated lattice with (C∧&→) property and we prove that (C∧&→) ⇔ (C→) + (C∧).Also, we introduce and characterize C→, C∨, C∧ and C∧ & → filters in residuated lattices (i.e., we characterize ...
Piciu Dana +2 more
doaj +1 more source
Canonical formulas for k-potent commutative, integral, residuated lattices
, 2016 Canonical formulas are a powerful tool for studying intuitionistic and modal logics. Actually, they provide a uniform and semantic way to axiomatise all extensions of intuitionistic logic and all modal logics above K4.
Bezhanishvili, Nick +2 more
core +1 more source
Weak Inflationary BL-Algebras and Filters of Inflationary (Pseudo) General Residuated Lattices
Mathematics, 2022 After the research on naBL-algebras gained by the non-associative t-norms and overlap functions, inflationary BL-algebras were also studied as a recent kind of non-associative generalization of BL-algebras, which can be obtained by general overlap ...
Xiaohong Zhang +2 more
doaj +1 more source
Quantale Modules and their Operators, with Applications
, 2009 The central topic of this work is the categories of modules over unital quantales. The main categorical properties are established and a special class of operators, called Q-module transforms, is defined.
Russo, Ciro
core +1 more source
Kragujevac Journal of MathematicsThis paper is devoted to the study of a fascinating class of residuated lattices, the so-called mp-residuated lattice, in which any prime filter contains a unique minimal prime filter. A combination of algebraic and topological methods is applied to obtain new and structural results on mp-residuated lattices.
Rasouli, Saeed, Dehghani, Amin
openaire +3 more sources
Sectionally residuated lattices [PDF]
Miskolc Mathematical Notes, 2005 Summary: The concept of residuum is relativized in the so-called sections of a given lattice. It is shown that such a concept still has a majority of the good properties of residuum. The results correspond to previous ones involved in sectionally pseudocomplemented lattices.
openaire +3 more sources
THE STRUCTURE OF RESIDUATED LATTICES [PDF]
International Journal of Algebra and Computation, 2003 A residuated lattice is an ordered algebraic structure [Formula: see text] such that <L,∧,∨> is a lattice, <L,·,e> is a monoid, and \ and / are binary operations for which the equivalences [Formula: see text] hold for all a,b,c ∈ L. It is helpful to think of the last two operations as left and right division and thus the equivalences can be
Blount, Kevin, Tsinakis, Constantine
openaire +1 more source
Non-commutative residuated lattices [PDF]
Transactions of the American Mathematical Society, 1939 In the theory of non-commutative rings certain distinguished subrings, one-sided and two-sided ideals, play the important roles. Ideals combine under crosscut, union and multiplication and hence are an instance of a lattice over which a non-commutative multiplication is defined.† The investigation of such lattices was begun by W.
openaire +1 more source