We study the connection between certain many-valued contexts and general geometric structures. The known one-to-one correspondence between attribute-complete many-valued contexts and complete affine ordered sets is used to extend the investigation to π-lattices and class geometries. The former are identified as a subclass of complete affine ordered sets, which exhibit a close relation to concep...

This paper considers the relations among L -fuzzy sets, rough sets and hyperring theory. Based on a complete residuated lattice, the concept of (invertible) L-fuzzy hyperideals of a hyperring is introduced and some related properties are presented. The notions of lower and upper L-fuzzy rough approximation operators with respect to an L-fuzzy hyperideal are provided and some significant propert...

We introduce two new operations (compositional products and implication) on Weihrauch degrees, and investigate the overall algebraic structure. The validity of the various distributivity laws is studied and forms the basis for a comparison with similar structures such as residuated lattices and concurrent Kleene algebras. Introducing the notion of an ideal with respect to the compositional prod...

Sugeno integral is one of the basic aggregation operations on a qualitative scale where only minimum and maximum, as well as order-reversing maps are allowed. Recently some variants of this aggregation operation, named soft and drastic integrals, have been introduced in a previous work by three of the authors. In these operations, importance weights play the role of tolerance thresholds enablin...

This paper focuses on the relationship between an $L$-subset and the system of level-elements induced by it, where the underlying lattice $L$ is a complete residuated lattice and the domain set of $L$-subset is an $L$-partially ordered set $(X,P)$. Firstly, we obtain the sufficient and necessary condition that an $L$-subset is represented by its system of level-elements. Then, a new representat...

To express wider uncertainty, B?hounek and Da?ková studied fuzzy partial logic function. At the same time, Borzooei generalized t-norms put forward concept of when studying lattice valued quantum effect algebras. Based on t-norms, Zhang et al. residuated implications (PRIs) proposed lattices (PRLs). In this paper, we mainly study related algebraic structure logic. First, provide definitions reg...

We show that every poset P with an antitone involution can be extended to a commutative integral residuated E(P). If, moreover, is lattice then so

Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classify these dual presentations in ”left” and ”right” ones and we consider that, when dealing with several algebras in the same research, it is useful to present them unitarily, either as ”left” algebras or as ”right” algeb...

Gentzen systems are introduced for Spinks and Veroff’s substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has been shown by Spinks and Veroff in [9], [10] that the variety of Nelson algebras, the algebras of constructive logic with strong negation N, is term-equivalent to a certain variety of bounded commutative residuated lattices ...

Since all the algebras connected to logic have, more or less explicitely, an associated order relation, it follows that they have two presentations, dual to each other. We classify these dual presentations in ”left” and ”right” ones and we consider that, when dealing with several algebras in the same research, it is useful to present them unitarily, either as ”left” algebras or as ”right” algeb...