BLIF is a hardware description language designed for the hierarchical description of sequential circuits. We give a denotational semantics for BLIF-MV, a popular dialect of BLIF, that interprets hardware descriptions in WS1S, the weak monadic second-order logic of one successor. We show how, using a decision procedure for WS1S, our semantics provides a simple but effective basis for diverse kin...

Fair Trade is an international movement which aims to strengthen the livelihoods of producers in the South, and to give the opportunity for conscious customers in the North to buy socially and environmentally friendly products. The conventional trade system is criticised, as well as the efficiency of aid to support developing countries. The core idea of Fair Trade is therefore “Trade not Aid”, ...

As part of preparations for a southern sky search for faint Milky Way dwarf galaxy satellites, we report the discovery of a stellar overdensity in the Sloan Digital Sky Survey Data Release 5, lying at an angular distance of only 1.5 degrees from the recently discovered Boötes dwarf. The overdensity was detected well above statistical noise by employing a sophisticated data mining algorithm and ...

EQ-algebras were introduced by Nov?ak in [16] as an algebraic structure of truth values for fuzzy type theory (FTT). Nov?k and De Baets [18] various kinds such good, residuated, lattice ordered EQ-algebras. In any logical structures, using filters, one can construct other structures. With this inspirations, means fantastic filters we MV-algebras. Also, study prelinear introduce a new kind filte...

In this paper rst we dene the notions of positive implicativehyper MV -ideals of types 1,2,3 and 4 in hyper MV -algebras and we investigatethe relationship between of them . Then by some examples we show that thesenotions are not equivalent. Finally we give some relations between these notionsand the notions of (weak) hyper MV -ideals and (weak) hyper MV -deductivesystems of hyper MV -algebras.

The purpose of this paper is to apply the theory of MV polytopes to the study of components of Lusztig’s nilpotent varieties. Along the way, we introduce reflection functors for modules over the non-deformed preprojective algebra of a quiver.

In this paper, we define a kind of lattice-valued convergence spaces based on the notion of $top$-filters, namely $top$-convergence spaces, and show the category of $top$-convergence spaces is Cartesian-closed. Further, in the lattice valued context of a complete $MV$-algebra, a close relation between the category of$top$-convergence spaces and that of strong $L$-topological spaces is establish...

In the paper, we investigate a one-to-one correspondence between n-dimensional observables and spectral resolutions with values in kind of lexicographic form quantum structures like perfect MV-algebras or effect algebras. The multidimensional version this problem is more complicated than one-dimensional one because if our algebraic structure k-perfect for k>1, then even two-dimensional case hav...

In this paper, intuitionistic fuzzy-dynamical systems (IF-dynamical systems) on an MV -algebra are introduced. Also the entropy of IF-dynamical systems is introduced and studied. Several related results are proved.