Related papers: Cyclic Shift in the Lambek Calculus
The question of whether a hypercyclic operator $T$ acting on a Fr{\'e}chet algebra $X$ admits or not an algebra of hypercyclic vectors (but 0) has been addressed in the recent literature. In this paper we give new criteria and…
In this paper we introduce and study the concept of cyclic factorization number of a finite group G. By using the Mobius inversion formula and other methods involving the cyclic subgroup structure, this is explicitly computed for some…
We introduce a shifted version of the binomial theorem, and use it to study some remarkable trigonometric integrals and their explicit rewriting in terms of binomial multiple sums. Motivated by the expressions of area generating functions…
Guarded Kleene Algebra with Tests (GKAT for short) is an efficient fragment of Kleene Algebra with Tests, suitable for reasoning about simple imperative while-programs. Following earlier work by Das and Pous on Kleene Algebra, we study GKAT…
We generalize the notion of harmonic conjugate functions and Hilbert transforms to higher dimensional euclidean spaces, in the setting of differential forms and the Hodge-Dirac system. These conjugate functions are in general far from being…
We define a strongly normalising proof-net calculus corresponding to the logic of strongly compact closed categories with biproducts. The calculus is a full and faithful representation of the free strongly compact closed category with…
We show how to provide a structure of probability space to the set of execution traces on a non-confluent abstract rewrite system, by defining a variant of a Lebesgue measure on the space of traces. Then, we show how to use this probability…
We consider weak-star closed invariant subspaces of the shift operator in the classical Bloch space. We prove that any bounded analytic function decomposes into two factors, one which is cyclic and another one generating a proper shift…
Our aim in this paper is to obtain necessary and sufficient conditions for weighted shift operators on the Hilbert spaces $\ell^{2}(\mathbb Z)$ and $\ell^{2}(\mathbb N)$ to be subspace-transitive, consequently, we show that the Herrero…
In this paper we develop a functional calculus for bounded operators defined on quaternionic Banach spaces. This calculus is based on the notion of slice-regularity, see \cite{gs}, and the key tools are a new resolvent operator and a new…
We study functional and concurrent calculi with non-determinism, along with type systems to control resources based on linearity. The interplay between non-determinism and linearity is delicate: careless handling of branches can discard…
$\lambda$-graph systems are labeled Bratteli diagram with shift operations. They present subshifts. Their matrix presentations are called symbolic matrix systems. We define skew products of $\lambda$-graph systems and study extensions of…
We review origins and main properties of the most important bracket operations appearing canonically in differential geometry and mathematical physics in the classical, as well as the supergeometric setting. The review is supplemented by a…
In this paper, we deal with a calculus system SLCD (Syllogistic Logic with Carroll Diagrams), which gives a formal approach to logical reasoning with diagrams, for representations of the fundamental Aristotelian categorical propositions and…
This paper compares classical copying and quantum entanglement in natural language by considering the case of verb phrase (VP) ellipsis. VP ellipsis is a non-linear linguistic phenomenon that requires the reuse of resources, making it the…
We construct continuous (and even invertible) linear operators acting on Banach (even Hilbert) spaces whose restrictions to their respective closed linear subspaces of chain recurrent vectors are not chain recurrent operators. This…
Existing computer algebra packages do not fully support quantum mechanics calculations in Dirac's notation. I present the foundation for building such support: a mathematical system for the symbolic manipulation of expressions used in the…
In this paper, we characterize hypercyclic sequences of weighted translation operators on an Orlicz space in the context of locally compact hypergroups.
In this work we provide alternative formulations of the concepts of lambda theory and extensional theory without introducing the notion of substitution and the sets of all, free and bound variables occurring in a term. We also clarify the…
Cirquent calculus is a proof system manipulating circuit-style constructs rather than formulas. Using it, this article constructs a sound and complete axiomatization CL16 of the propositional fragment of computability logic (the…