Results 61 to 70 of about 1,868 (178)
A note on drastic product logic [PDF]
, 2014 The drastic product $*_D$ is known to be the smallest $t$-norm, since $x *_D y = 0$ whenever $x, y < 1$. This $t$-norm is not left-continuous, and hence it does not admit a residuum.
B. Schweizer +9 more
core +1 more source
Cancellative residuated lattices [PDF]
Algebra Universalis, 2003 A residuated lattice is a structure \({\mathbf L}=\langle L,\wedge ,\vee ,\cdot ,e,\backslash ,/ \rangle \) such that \(\langle L,\wedge ,\vee \rangle \) is a lattice, \(\langle L,\cdot ,e \rangle \) is a monoid and for all \(a,b,c\in L\), \(a\cdot b\leq c\)\ \ iff\ \ \(a\leq c/b\)\ \ iff\ \ \(b\leq a\backslash c\). \(\mathbf L\) is called cancellative
Bahls, P. +4 more
openaire +1 more source
Mp- and purified residuated lattices
Soft Computing, 2022 Abstract In this paper, a combination of algebraic and topological methods is applied to obtain new and structural results on mp and purified residuated lattices. It is demonstrated that mp-residuated lattices strongly tied up with the dual hull-kernel topology.
Saeed Rasouli, Amin Dehghani
openaire +1 more source
Co-stone Residuated Lattices [PDF]
2010 40th IEEE International Symposium on Multiple-Valued Logic, 2010 33 ...
openaire +2 more sources
ℒ-Fuzzy Ideals of Residuated Lattices
Discussiones Mathematicae - General Algebra and Applications, 2019 This paper mainly focuses on building the ℒ-fuzzy ideals theory of residuated lattices. Firstly, we introduce the notion of ℒ-fuzzy ideals of a residuated lattice and obtain their properties and equivalent characterizations. Also, we introduce the notion
Kengne Pierre Carole +3 more
doaj +1 more source
Kernels of Residuated Maps as Complete Congruences in Lattices
International Journal of Computational Intelligence Systems, 2020 In a context of lattice-valued functions (also called lattice-valued fuzzy sets), where the codomain is a complete lattice L, an equivalence relation defined on L by the equality of related cuts is investigated.
Branimir Šešelja, Andreja Tepavčević
doaj +1 more source
Towards a generalisation of formal concept analysis for data mining purposes [PDF]
, 2006 In this paper we justify the need for a generalisation of Formal Concept Analysis for the purpose of data mining and begin the synthesis of such theory.
A. Burusco +8 more
core +3 more sources
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
Coalgebraic completeness-via-canonicity for distributive substructural logics [PDF]
, 2016 We prove strong completeness of a range of substructural logics with respect to a natural poset-based relational semantics using a coalgebraic version of completeness-via-canonicity.
Dahlqvist, Fredrik, Pym, David
core +2 more sources
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