The variety \(\mathbb{DHMSH}\) of dually hemimorphic semi-Heyting algebras was introduced in 2011 by the second author as an expansion a dual hemimorphism. In this paper, we focus on from logical point view. paper presents extensive investigation logic corresponding to and its axiomatic extensions, along with equally universal algebraic study their semantics. Firstly, present Hilbert-style axio...

We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula. Résumé. Nous introduisons une nouvelle base des fonctions symé...

this article presents an analytic approach to study admissibility conditions related to classical full wavelet systems over finite fields using tools from computational harmonic analysis and theoretical linear algebra. it is shown that for a large class of non-zero window signals (wavelets), the generated classical full wavelet systems constitute a frame whose canonical dual are classical full ...

let $s$ be an ordered semigroup. a fuzzy subset of $s$ is anarbitrary mapping   from $s$ into $[0,1]$, where $[0,1]$ is theusual interval of real numbers. in this paper,  the concept of fuzzygeneralized bi-ideals of an ordered semigroup $s$ is introduced.regular ordered semigroups are characterized by means of fuzzy leftideals, fuzzy right ideals and fuzzy (generalized) bi-ideals.finally, two m...

In this paper we study the lattice of restricted subalgebras a Lie algebra. particular, consider those algebras in which is dually atomistic, lower or upper semimodular, every subalgebra quasi-ideal. The fact that there are one-dimensional not results some these conditions being weaker than for corresponding non-restricted case.

The downward and upward closures of a regular language L are obtained by collecting all the subwords and superwords of its elements, respectively. The downward and upward interiors of L are obtained dually by collecting words having all their subwords and superwords in L, respectively. We provide lower and upper bounds on the size of the smallest automata recognizing these closures and interior...