Related papers: Tense operators on distributive lattices with impl…
We involve a certain propositional logic based on ortholattices. We characterize the implicational reduct of such a logic and we show that its algebraic counterpart is the so-called orthosemilattice. Properties of congruences and congruence…
We characterize those finite groups for which the bounded derived category of finite dimensional representations over an algebraically closed field of characteristic $p$ has distributive lattice of thick subcategories: they are precisely…
We introduce real vector spaces composed of set-valued maps on an open set. They are also complete metric spaces, lattices, commutative rings. The set of differentiable functions is a dense subset of these spaces and the classical gradient…
The notion of the genus of a quadratic form is generalized to vertex operator algebras. We define it as the modular braided tensor category associated to a suitable vertex operator algebra together with the central charge. Statements…
We provide a complete classification of unitary subalgebras of even rank-one lattice vertex operator algebras. As a consequence of the correspondence between vertex operator algebras and conformal nets, we also obtain a complete…
We define and study semilattices and lattices for $E$-closed families of theories. Properties of these semilattices and lattices are investigated. It is shown that lattices for families of theories with least generating sets are…
Generalizing the algebraic formulation of the First Fundamental Theorem of Calculus (FFTC), a class of constraints involving a pair of operators was considered in \cite{ZGK2}. For a given constraint, the existences of extensions of…
We extend the theory of unified correspondence to a very broad class of logics with algebraic semantics given by varieties of normal lattice expansions (LEs), also known as `lattices with operators'. Specifically, we introduce a very…
In this paper, new equivalence theorems for the boundedness of the composition of a quasilinear operator $T$ with the Hardy and Copson operators in weighted Lebesgue spaces are proved. The usefulness of the obtained results is illustrated…
The purpose of this paper is to investigate the stationary dense operators and their connection to distribution semigroups and abstract Cauchy problem in sequentially complete spaces.
We define a class of discrete operators that, in particular, include the delta and nabla fractional operators.
This paper deals with join-semilattices whose sections, i.e. principal filters, are pseudocomplemented lattices. The pseudocomplement of a\vee b in the section [b,1] is denoted by a\rightarrow b and can be considered as the connective…
This survey presents in some detail the main advances that have been recently taking place in Computational Linguistics towards the unification of the two prominent semantic paradigms: the compositional formal semantics view and the…
We study natural differential operators transforming two tensor fields into a tensor field. First, it is proved that all bilinear operators are of order one, and then we give the full classification of such operators in several concrete…
We introduce a categorical framework for diffusion on network-structured data valued in weighted lattices, extending the Laplacian paradigm beyond the category of Hilbert spaces. Central to our approach is the Lawvere Laplacian, an…
We give labeled natural deduction systems for a family of tense logics extending the basic linear tense logic Kl. We prove that our systems are sound and complete with respect to the usual Kripke semantics, and that they possess a number of…
In this paper, we define the multiplicative Hecke operators $\mathcal{T}(n)$ for any positive integer on the integral weight meromorphic modular forms for $\Gamma_{0}(N)$. We then show that they have properties similar to those of additive…
We provided (PNSE'2014) expressions for free choice nets having "distributed choice property" which makes the nets "direct product" representable. In a recent work (PNSE'2016), we gave equivalent syntax for a larger class of free choice…
In the latest developments in the theory of skew lattices, distributivity has been one of the main topics of study. The largest classes of examples of such algebras are distributive. Unlike what happens in lattices, the properties of…
We study those operators on a Hilbert space that can be lifted / extended to any twisted Hilbert space. We prove that these form an ideal of operators which contains all the Schatten classes. We characterize those multiplication operators…