We give the quantum subset construction of orthomodular lattice-valued finite automata, then we show the equivalence between orthomodular lattice-valued finite automata, orthomodular lattice-valued deterministic finite automata and orthomodular lattice-valued finite automata with empty string-moves. Based on these equivalences, we study the algebraic operations on orthomodular lattice-valued re...

In this paper, an α-resolution method for a set of lattice-valued Horn generalized clauses is established in lattice-valued propositional logic systemL P(X) based on lattice implication algebra. Firstly, the notions of lattice-valued Horn generalized clause, normal lattice-valued Horn generalized clause and unit latticevalued Horn generalized clause are given in L P(X). Then, the α-resolution o...

We study different completeness definitions for two categories of lattice-valued Cauchy spaces and the relations between these definitions. We also show the equivalence of a so-called completion axiom and the existence of a completion.

Within the categoryW of archimedean lattice-ordered groups with weak order unit, we show that the objects of the form C (L), the set of continuous real-valued functions on a locale L, are precisely those which are divisible and complete with respect to a variant of uniform convergence, here termed indicated uniform convergence. We construct the corresponding completion of aW-object A purely alg...

in this paper, for a complete lattice l, we introduce interval-valued l-fuzzy ideal (prime ideal) of a near-ring which is an extended notion of fuzzy ideal (prime ideal) of a near-ring. some characterization and properties are discussed.

Adaptive recursive linear equalizers present important advantages in terms of performance and robustness compared to more standard finite impulse response structures, and provide a means for blindly initializing the decision feedback structure. We present an analysis of a pair of algorithms for the adaptation of the recursive part of the equalizer, which are based on the second-order statistics...

We develop a theory of stratified LM -filters which generalizes the theory of stratified L-filters. Our stratification condition explicitly depends on a suitable mapping between the lattices L and M . If L and M are identical and the mapping is the identity mapping, then we obtain the theory of stratified L-filters. Based on the stratified LM -filters, a general theory of lattice-valued converg...

Some uniform categorical theoretical treatment of automata and lattice-valued fuzzy automata using quantale theory is studied in this paper. First, L-relational sheaves on a monoidM andQ-enriched categories are introduced for quantales L andQ, the equivalence of the corresponding categories are proved next. Then lattice-valued (fuzzy) automata are described by Q-enriched categories. In fact, la...