Related papers: Operators on complemented lattices
Using the framework of operator or Calder\'on preconditioning, uniform preconditioners are constructed for elliptic operators discretized with continuous finite (or boundary) elements. The preconditioners are constructed as the composition…
We classify affine operators on a unitary or Euclidean space U up to topological conjugacy. An affine operator is a map f: U-->U of the form f(x)=Ax+b, in which A: U-->U is a linear operator and b in U. Two affine operators f and g are said…
We illustrate some problems that are related to the existence of an underlying linear structure at the level of the property lattice associated with a physical system, for the particular case of two explicitly separated spin 1/2 objects…
It is shown how to define difference operators and equations on particular lattices $\{x_n\}$, $2n\in\mathbb{Z}$, such that the divided difference operator $(\mathcal{D}f)(x_{n+1/2})= (f(x_{n+1})-f(x_n))/(x_{n+1}-x_n)$ has the property that…
We extend classical Propositional Logic (PL) by adding a new primitive binary connective $\varphi|\psi$, intended to represent the "superposition" of sentences $\varphi$ and $\psi$, an operation motivated by the corresponding notion of…
We investigate involutive commutative residuated lattices without unit, which are commutative residuated lattice-ordered semigroups enriched with a unary involutive negation operator. The logic of this structure is discussed and the…
The paper studies complementary choice functions, i.e. monotonic and consistent choice functions. Such choice functions were introduced and used in the work \cite{RY} for investigation of matchings with complementary contracts. Three…
We study completions of Archimedean vector lattices relative to any nonempty set of positively-homogeneous functions on finite-dimensional real vector spaces. Examples of such completions include square mean closed and geometric closed…
The aim of the present paper is to define compact operators on asymmetric normed spaces and to study some of their properties. The dual of a bounded linear operator is defined and a Schauder type theorem is proved within this framework. The…
In a recent paper a pair of operators $a$ and $b$ satisfying the equations $a^\dagger a=bb^\dagger+\gamma\1$ and $aa^\dagger=b^\dagger b+\delta\1$, has been considered, and their nature of ladder operators has been deduced and analysed.…
In this work we uncover the mathematical structure of the Schwinger algebra and introduce an almost unitary Schwinger operators which are derived by considering translation operators on a finite lattice. We calculate mathematical relations…
Fix a commutative monoid $(T,+,0)$, a commutative monoid $(\Gamma,+,0_\Gamma)$, and a map \[ (a,\alpha,b,\beta,c)\longmapsto a\,\alpha\,b\,\beta\,c\in T \] which is additive in each variable and associative in the ternary sense. A left…
An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces.…
Characterizations of the star, minus and diamond orders of operators are given in various contexts and the relationship between these orders is made more transparent. Moreover, we introduce a new partial order of operators which provides a…
For orthoposets we introduce a binary relation Delta and a binary operator d(x,y) which are generalizations of the binary relation C and the commutator c(x,y), respectively, known for orthomodular lattices. We characterize orthomodular…
Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between stratified complete lattices and used to give semantics to logic programs with negation and boolean context-free grammars. We prove…
In this work we propose a multi-valued extension of logic programs under the stable models semantics where each true atom in a model is associated with a set of justifications, in a similar spirit than a set of proof trees. The main…
In this paper, we characterize a class of additive maps on Hilbert $C^\ast$-modules which maps a "rank one" adjointable operators to another rank one operators.
The polynomial relationship between elementary symmetric functions (Cauchy enumeration formula) is formulated via a ``raising operator" and Fock space construction. A simple graphical proof of this relation is proposed. The new operator…
The structure of the category of matroids and strong maps is investigated: it has coproducts and equalizers, but not products or coequalizers; there are functors from the categories of graphs and vector spaces, the latter being faithful;…