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...

This thesis investigates possible initial segments of the degrees of constructibility. Specifically, we completely characterize the structure of degrees in generic extensions of the constructible universe L via forcing with Souslin trees. Then we use this characterization to realize any constructible dual algebraic lattice as a possible initial segment of the degrees of constructibility. In a s...

With this chapter we provide a compact yet complete survey of two most remarkable “representation theorems”: every arguesian projective geometry is represented by an essentially unique vector space, and every arguesian Hilbert geometry is represented by an essentially unique generalized Hilbert space. C. Piron’s original representation theorem for propositional systems is then a corollary: it s...

The set of all transformation monoids on a fixed set of infinite cardinality λ, equipped with the order of inclusion, forms a complete algebraic lattice Mon(λ) with 2 compact elements. We show that this lattice is universal with respect to closed sublattices, i.e., the closed sublattices of Mon(λ) are, up to isomorphism, precisely the complete algebraic lattices with at most 2 compact elements....

In this note by considering a complete lattice L, we define thenotion of an L-Fuzzy hyperrelation on a given non-empty set X. Then wedefine the concepts of (POM)L-Fuzzy graph, hypergraph and subhypergroupand obtain some related results. In particular we construct the categories ofthe above mentioned notions, and give a (full and faithful) functor form thecategory of (POM)L-Fuzzy subhypergroups ...

First, we introduce the concept of intuitionistic fuzzy group congruenceand we obtain the characterizations of intuitionistic fuzzy group congruenceson an inverse semigroup and a T^{*}-pure semigroup, respectively. Also,we study some properties of intuitionistic fuzzy group congruence. Next, weintroduce the notion of intuitionistic fuzzy semilattice congruence and we givethe characterization of...

In this paper, we introduce the concept of the generalized topological molecular lattices as a generalization of Wang's topological molecular lattices,  topological spaces, fuzzy topological spaces, L-fuzzy topological spaces and soft topological spaces. Topological molecular lattices were defined by closed elements, but in this new structure we present the concept of the open elements and defi...

An effect algebraic partial binary operation ⊕ defined on the underlying set E uniquely introduces partial order, but not conversely. We show that if on a MacNeille completion b E of E there exists an effect algebraic partial binary operation b ⊕ then b ⊕ need not be an extension of ⊕. Moreover, for an Archimedean atomic lattice effect algebra E we give a necessary and sufficient condition for ...

Uninorms are important generalizations of triangular norms and conorms, with a neutral element lying anywhere in the unit interval, and left (right) semi-uninorms are non-commutative and non-associative extensions of uninorms. In this paper, we firstly introduce the concepts of left and right semi-uninorms on a complete lattice and illustrate these notions by means of some examples. Then, we la...

abstract. let $l$ be a lattice with the least element $0$. an element $xin l$ is a zero divisor if $xwedge y=0$ for some $yin l^*=lsetminus left{0right}$. the set of all zero divisors is denoted by $z(l)$. we associate a simple graph $gamma(l)$ to $l$ with vertex set $z(l)^*=z(l)setminus left{0right}$, the set of non-zero zero divisors of $l$ and distinct $x,yin z(l)^*$ are adjacent if and only...