Related papers: Tense operators on distributive lattices with impl…
Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…
Based on implicative involutive BE algebras, we redefine the orthomodular lattices, by introducing the notion of implicative-orthomodular lattices, and we study their properties. We characterize these algebras, proving that the…
In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main…
We give a characterization of the operators on the injective tensor product $E \hat{\otimes}_\varepsilon X$ for any separable Banach space $E$ and any (non-separable) Banach space $X$ with few operators, in the sense that any operator $T: X…
We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional…
This paper investigates the theory of lattices, focusing on extending lattices relative to abstract classes, modular lattices, and torsion lattices. Definitions of type-1 and type-2 extending lattices are provided, along with their weakly…
We use a representation of a graded twisted tensor product of $K[x]$ with $K[y]$ in $L(K^{\Bbb{N}_0})$ in order to obtain a nearly complete classification of these graded twisted tensor products via infinite matrices. There is one…
A new algorithm for computing Hecke operators for SL(n,Z) was introduced by MacPherson, McConnell in 2020. The algorithm uses tempered perfect lattices, which are certain pairs of lattices together with a quadratic form. These generalize…
We define when a ternary term $m$ of an algebraic language $\mathcal{L}$ is called a \textit{distributive nearlattice term} (DN-term) of a sentential logic $\mathcal{S}$. Distributive nearlattices are ternary algebras generalising Tarski…
In this article, we define discrete analogue of generalized Hardy spaces and its separable subspace on a homogenous rooted tree and study some of its properties such as completeness, inclusion relations with other spaces, separability,…
We present an inequality for tensor product of positive operators on Hilbert spaces by considering the tensor product of operators as words on certain alphabets (i.e., a set of letters). As applications of the operator inequality and by a…
We introduce a classification of simple, regular, closed symmetric operators with deficiency indices (1,1) according to a geometric criterion that extends the classical notions of entire operators and entire operators in the generalized…
We prove that a variety of Novikov algebras has a distributive lattice of subvarieties if and only if the lattice of its subvarieties defined by identities of degree three is distributive, thus answering, in the case of Novikov algebras, a…
We study Kleene iteration in the categorical context. A celebrated completeness result by Kozen introduced Kleene algebra (with tests) as a ubiquitous tool for lightweight reasoning about program equivalence, and yet, numerous variants of…
The class of all $\ast$-continuous Kleene algebras, whose description includes an infinitary condition on the iteration operator, plays an important role in computer science. The complexity of reasoning in such algebras - ranging from the…
Let S be the set of scalings 1, 2,3,4, ... and consider the corresponding set of scaled lattices in the plane. In this paper averaging operators are defined for plaquette functions on a lattice to plaquette functions on a coarser lattice…
We show that all balanced d-lattices must be complemented, answering a question of Chajda and Eigenthaler. (A bounded lattice is balanced if any two congruences agree on their 1-classes iff they agree on their 0-classes.) Our main tool is…
This paper lays the groundwork for the theory of categorical diagonalization. Given a diagonalizable operator, tools in linear algebra (such as Lagrange interpolation) allow one to construct a collection of idempotents which project to each…
We interpret tensors on a smooth manifold M as differential forms over a graded commutative algebra called the algebra of iterated differential forms over M. This allows us to put standard tensor calculus in a new differentially closed…
This paper develops some deeper consequences of an extended definition, proposed previously by the author, of pseudo-differential operators that are of type $1,1$ in H\"ormander's sense. Thus, it contributes to the long-standing problem of…