the notion of a $d$-poset was introduced in a connection withquantum mechanical models. in this paper, we introduce theconditional expectation of  random variables on thek^{o}pka's $d$-poset and prove the basic properties ofconditional expectation on this  structure.

1 The Galois Connexion Approach to Abstract Interpretation Following [2], [3] and [4], the abstract interpretation of a program can be formalized as the effective computation of an approximation A of the least fixed point lfp(F) of a monotone operator F ∈ L mon −→ L on a complete poset L(⊑, ⊥, ⊔) specifying the collecting semantics of the program. The upper approximation must be correct in the ...

We outline a method for practical use of an interactive system (APL) to compute the homology of finite partially ordered sets. 1. Prerequisites. All partially ordered sets (posets) are assumed finite. Given a poset , we say that b covers a if b > a and a g c ^ h implies a = c or b = c. Since we deal with finite posets, the order relation can be obtained as the reflexive, transitive clos...

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

Let (W,S) be a finite Weyl group and let w ∈ W . It is widely appreciated that the descent set D(w) = {s ∈ S | l(ws) < l(w)} determines a very large and important chapter in the study of Coxeter groups. In this paper we generalize some of those results to the situation of the Bruhat poset W J where J ⊆ S. Our main results here include the identification of a certain subset S ⊆ W J that convinci...

In this note, we continue the works in the paper [Some properties of L-fuzzy approximation spaces on bounded integral residuated lattices", Information Sciences, 278, 110-126, 2014]. For a complete involutive residuated lattice, we show that the L-fuzzy topologies generated by a reflexive and transitive L-relation satisfy (TC)L or (TC)R axioms and the L-relations induced by two L-fuzzy topologi...

In this paper, we define and study fuzzy generalized α-closed sets and r-open sets of a given L-fuzzy topological space and prime element r ∈ P (L) and coprime element α ∈ M(L). The concept of L-fuzzy ropen sets was introduced in [10], and it was proved that all r-open sets for L-fuzzy topological space form a new L-fuzzy topology, which is called stratiform L-fuzzy topology. Making use of the ...

Let L be a congruence-uniform lattice. In this note, we investigate the shard order on L that was introduced by N. Reading. When L is a poset of regions of a hyperplane arrangement the shard order always is a lattice. For general L, however, this fails. We provide a necessary condition for the shard order to be a lattice, and we show how to construct a congruence-uniform lattice L′ from L such ...