Results 71 to 80 of about 673,590 (252)
The connection of hyper lattice implication algebras and related hyper algebras [PDF]
Journal of Hyperstructures, 2016 In this paper, we de ne the concepts of (good) con- gruences and strong congruences on hyper lattice implication alge- bras and use them to construct quotient hyper lattice implication algebras.
Shokoofeh Ghorbani
doaj +1 more source
Open Mathematics, 2020 In this paper, by using the ideal theory in residuated lattices, we construct the prime and maximal spectra (Zariski topology), proving that the prime and maximal spectra are compact topological spaces, and in the case of De Morgan residuated lattices ...
Holdon Liviu-Constantin
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
Interval-valued algebras and fuzzy logics [PDF]
, 2010 In this chapter, we present a propositional calculus for several interval-valued fuzzy logics, i.e., logics having intervals as truth values. More precisely, the truth values are preferably subintervals of the unit interval.
Cornelis, Chris +2 more
core +2 more sources
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
Characterization of extension map on fuzzy weakly cut-stable map
AIMS Mathematics, 2022 In this paper, based on a complete residuated lattice, we propose the definition of fuzzy weakly cut-stable map and prove the extension property of the fuzzy weakly cut-stable map.
Nana Ma, Qingjun Luo, Geni Xu
doaj +1 more source
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 +5 more sources
Co-stone Residuated Lattices [PDF]
2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010 33 ...
openaire +3 more sources
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