Related papers: The operator of relative complementation
The symmetric difference in Boolean lattices can be defined in two different but equivalent forms. However, it can be introduced also in every bounded lattice with complementation where these two forms need not coincide. We study lattices…
Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal…
This paper deals with conditions under which the quotient of $L$-fuzzy up-sets forms a complete lattice by using terminologies of closure operators. It first gives a condition that a family of some subsets of a nonempty set can be…
Lax extensions of set functors play a key role in various areas including topology, concurrent systems, and modal logic, while predicate liftings provide a generic semantics of modal operators. We take a fresh look at the connection between…
We consider the semigroup of \'etale polynomial mappings $\mathbb{C}^2\rightarrow\mathbb{C}^2$ where the binary operation is composition. We prove that both the right and the left composition operators on this semigroup are injective. This…
We propose a functional description of rewriting systems where reduction rules are represented by linear maps called reduction operators. We show that reduction operators admit a lattice structure. Using this structure we define the notion…
As algebraic semantics of the logic of quantum mechanics there are usually used orthomodular posets, i.e. bounded posets with a complementation which is an antitone involution and where the join of orthogonal elements exists and the…
We study rings of real-valued continuous functions in terms of pseudocomplementation conditions on various lattices attached to their prime spectrum. We fully characterize pseudocomplementation in all cases and have an almost complete…
A topologized semilattice $X$ is called complete if each non-empty chain $C\subset X$ has $\inf C$ and $\sup C$ that belong to the closure $C$ of the chain $C$ in $X$. In this paper, we introduce various concepts of completeness of…
There are local operators on (labeled) graphs $G$ with labels $(g_{ij})$ coming from a finite field. If the filed is binary, in other words, if the graph is ordinary, the operation is just the local complementation. That is, to choose a…
We consider a Hilbert space that is a product of a finite number of Hilbert spaces and operators that are represented by "componental operators" acting on the Hilbert spaces that form the product space. We attribute operatorial properties…
We examine the question of when, and how, the norm of a vector functional on an operator algebra can be controlled by the invariant subspace lattice of the algebra. We introduce a related operator algebraic property, and show that it is…
We study the spectrum of the Volterra composition operator in the space $L_2[0,1]$
Poly-infix operators and operator families are introduced as an alternative for working modulo associativity and the corresponding bracket deletion convention. Poly-infix operators represent the basic intuition of repetitively connecting an…
Let $A$ be a set of natural numbers. A set $B$, a set of natural numbers, is an additive complement of the set $A$ if all sufficiently large natural numbers can be represented in the form $x+y$, where $x\in A$ and $y\in B$. Erd\H{o}s…
We describe the orbit structure for the action of the centralizer group of a linear operator on a finite-dimensional complex vector space. The main application is to the classification of solutions to a system of first-order ODEs with…
We analyze various consequences in relation to the extension of operators $T:X\to Y$ that are $p$-compact, as well as the extension of operators $T:X\to Y$ whose adjoints $T^*:Y^*\to X^*$ are $p$-compact. In most cases, we discuss these…
It is proved that for adjointable operators $A$ and $B$ between Hilbert $C^*$-modules, certain majorization conditions are always equivalent without any assumptions on $\overline{\mathcal{R}(A^*)}$, where $A^*$ denotes the adjoint operator…
We identify conditions giving large natural classes of partial differential operators for which it is possible to construct a complete set of Laplace invariants. In order to do that we investigate general properties of differential…
The problem of connecting the operator parameters that label the same self-adjoint extension of a given symmetric operator, respectively, within the 'absolute' von Neumann extension scheme and the 'relative' boundary-triplet-induced…