相关论文: Dynamical properties of logical substitutions

This paper studies topological definitions of chain recurrence and shadowing for continuous endomorphisms of topological groups generalizing the relevant concepts for metric spaces. It is proved that in this case the sets of chain recurrent…

We present alternative postulates for Euclidean geometry whose merit is that they lead to a new class of invariants and associated geometries for real finite-dimensional unital associative algebras.

We present a way to apply quantum logic to the study of quantum programs. This is made possible by using an extension of the usual propositional language in order to make transformations performed on the system appear explicitly. This way,…

Differential Linear Logic enriches Linear Logic with additional logical rules for the exponential connectives, dual to the usual rules of dereliction, weakening and contraction. We present a proof-net syntax for Differential Linear Logic…

We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…

We review computations of joint invariants on a linear symplectic space, discuss variations for an extension of group and space and relate this to other equivalence problems and approaches, most importantly to differential invariants.

It is well known that the real and imaginary parts of any holomorphic function are harmonic functions of two variables. In this paper we generalize this property to finite-dimensional commutative algebras. We prove that if some basis of a…

We look at characterizing which formulas are expressible in rich decidable logics such as guarded fixpoint logic, unary negation fixpoint logic, and guarded negation fixpoint logic. We consider semantic characterizations of definability, as…

Logics closed under classes of substitutions broader than class of uniform substitutions are known as hyperformal logics. This paper extends known results about hyperformal logics in two ways. First: we examine a very powerful form of…

We give three algebraic equations which allow a geometric classification of all spectral types of equilibria of a given $m$-dimensional dynamical system, and we analyse them thoroughly in dimension 3 and 4. The loci defined by these…

Transformation equations for physical quantities that characterize plane electromagnetic wave propagation in transparent optical media are presented. The Doppler effect, and measurements performed by an observer moving with the wave are…

We extend dynamic logic of propositional assignments by adding an operator of parallel composition that is inspired by separation logics. We provide an axiomatisation via reduction axioms, thereby establishing decidability. We also prove…

The aim of this paper is to describe a population model with transition. We analyze the spectral properties of the transition matrix considering both irreducible and reducible structures. We give physical interpretations of these properties…

In this paper we describe all, up to isomorphism, left unital, right unital and unital algebra structures on two-dimensional vector space over any algebraically closed field and $\mathbb{R}$. We tabulate the algebras with the units.

Meta-conformal transformations are constructed as dynamical symmetries of the linear transport equation in $d$ spatial dimensions. In one and two dimensions, the associated Lie algebras are infinite-dimensional and isomorphic to the direct…

Hydrodynamic surfaces are solutions of hydrodynamic type systems viewed as non-parametrized submanifolds of the hodograph space. We propose an invariant differential-geometric characterization of hydrodynamic surfaces by expressing the…

We discuss further the dynamics of n-expansive homeomorphisms with the shadowing property, started in [7]. The L-shadowing property is defined and the dynamics of n-expansive homeomorphisms with such property is explored. In particular, we…

The first part of the present article consists in a survey about the dynamical constructive method designed using dynamical theories and dynamical algebraic structures. Dynamical methods uncovers a hidden computational content for numerous…

The strong dual space of linear continuous functionals on a weighted space G of infinitely differentiable functions defined on the real line is described in terms of their Fourier-Laplace transforms.

An overview of dynamical systems in accelerator physics is presented with a suggestion of a few issues to be addressed. Also mentioned are a few possible developments in the future. Technical details supporting the views are not presented.