相关论文: Nonstandard Consequence Operators
We introduce the notion of irregular vertex (operator) algebras. The irregular versions of fundamental properties, such as Goddard uniqueness theorem, associativity and operator product expansions are formulated and proved. We also give…
The present paper deals with complemented lattices where, however, a unary operation of complementation is not explicitly assumed. This means that an element can have several complements. The mapping $^+$ assigning to each element $a$ the…
In this paper we introduce and study an alternative definition of tense operators on residuated lattices. We give a categorical equivalence for the class of tense residuated lattices, which is motivated by an old construction due to J.…
Practically and intrinsically, inclusions of operator algebras are of fundamental interest. The subject of this paper is intermediate operator algebras of inclusions. There are two previously known theorems which naturally and completely…
Constraint languages that arise from finite algebras have recently been the object of study, especially in connection with the Dichotomy Conjecture of Feder and Vardi. An important class of algebras are those that generate congruence…
An operator $T $ from a vector lattice $E$ into a normed lattice $F$ is called unbounded $\sigma$-order-to-norm continuous whenever $x_{n}\xrightarrow{uo}0$ implies $\| Tx_{n}\|\rightarrow 0$, for each sequence $(x_{n})_n\subseteq E$. For a…
We study varieties that contain unranked tree languages over all alphabets. Trees are labeled with symbols from two alphabets, an unranked operator alphabet and an alphabet used for leaves only. Syntactic algebras of unranked tree languages…
The primary purpose of the present paper is to investigate when relations of the types $|AB|=|A||B|$, $|A\pm B|\leq |A|+|B|$, $||A|-|B||\leq |A\pm B|$ and $|\overline{\text{Re} A}|\leq |A|$ (among others) hold in an unbounded operator…
A differential operator of weight $\lambda$ is the algebraic abstraction of the difference quotient $d_\lambda(f)(x):=\big(f(x+\lambda)-f(x)\big)/\lambda$, including both the derivation as $\lambda$ approaches to $0$ and the difference…
While monotone operator theory is often studied on Hilbert spaces, many interesting problems in machine learning and optimization arise naturally in finite-dimensional vector spaces endowed with non-Euclidean norms, such as…
We present a modification of the superposition calculus that is meant to generate consequences of sets of first-order axioms. This approach is proven to be sound and deductive-complete in the presence of redundancy elimination rules,…
Two models of candidates for hereditary symmetry operators are proposed and thus many nonlinear systems of evolution equations possessing infinitely many commutative symmetries may be generated. Some concrete structures of hereditary…
When an algebraic logic based on a poset instead of a lattice is investigated then there is a natural problem how to introduce the connective implication to be everywhere defined and satisfying (left) adjointness with the connective…
We show that for every quasivariety K of structures (where both functions and relations are allowed) there is a semilattice S with operators such that the lattice of quasi-equational theories of K (the dual of the lattice of…
Recent advances in the theory of complex symmetric operators are presented and related to current studies in non-hermitian quantum mechanics. The main themes of the survey are: the structure of complex symmetric operators, $C$-selfadjoint…
We propose a functional description of rewriting systems on topological vector spaces. We introduce the topological confluence property as an approximation of the confluence property. Using a representation of linear topological rewriting…
In semantics and in programming practice, algebraic concepts such as monads or, essentially equivalently, (large) Lawvere theories are a well-established tool for modelling generic side-effects. An important issue in this context are…
We extend the theory of atomized semilattices to the infinite setting. We show that it is well-defined and that every semilattice is atomizable. We also study atom redundancy, focusing on complete and finitely generated semilattices and…
Complementable operators extend classical matrix decompositions, such as the Schur complement, to the setting of infinite-dimensional Hilbert spaces, thereby broadening their applicability in various mathematical and physical contexts. This…
This paper considers discrete and continuous semigroups of (weighted) composition operators on the Fock space. For discrete semigroups consisting of powers of a single operator, the asymptotic behaviour of the semigroups is analysed. For…