相关论文: Dynamical properties of logical substitutions

This paper is an original attempt to understand the foundations of economic reasoning. It endeavors to rigorously define the relationship between subjective interpretations and objective valuations of such interpretations in the context of…

In this paper we prove that three of the main propositional logics of dependence (including propositional dependence logic and inquisitive logic), none of which is structural, are structurally complete with respect to a class of…

Systems switching between different dynamical phases is an ubiquitous phenomenon. The general understanding of such a process is limited. To this end, we present a general expression that captures fluctuations of a system exhibiting a…

Within classical propositional logic, assigning probabilities to formulas is shown to be equivalent to assigning probabilities to valuations. A novel notion of probabilistic entailment enjoying desirable properties of logical consequence is…

Dynamical symmetries are of considerable importance in elucidating the complex behaviour of strongly interacting systems with many degrees of freedom. Paradigmatic examples are cooperative phenomena as they arise in phase transitions, where…

We study the operad of associative algebras equipped with a derivation. We show that it is determined by polynomials in several variables and substitution. Replacing polynomials by rational functions gives an operad which is isomorphic to…

In this short note, we give a new sufficient condition for a linear map from a product of copies of a field to endomorphisms of a finite dimensional vector space over the same field to be an algebra homomorphism. We expect that this result…

We review how an algebraic formulation for the dynamics of a physical system allows to describe a reduction procedure for both classical and quantum evolutions.

The paper studies the complex differentiable functions of double argument and their properties, which are similar to the properties of the holomorphic functions of complex variable: the Cauchy formula, the hyperbolic harmonicity, the…

Starting from space-discretisation of Maxwell's equations, various classical formulations are proposed for the simulation of electromagnetic fields. They differ in the phenomena considered as well as in the variables chosen for…

We analyse the expressiveness of the two-valued semantics of abstract argumentation frameworks, normal logic programs and abstract dialectical frameworks. By expressiveness we mean the ability to encode a desired set of two-valued…

The article treats the geometrical theory of partial differential equations in the absolute sense, i.e., without any additional structures and especially without any preferred choice of independent and dependent variables. The equations are…

We introduce BPDL, a combination of propositional dynamic logic PDL with the basic four-valued modal logic BK studied by Odintsov and Wansing (`Modal logics with Belnapian truth values', J. Appl. Non-Class. Log. 20, 279--301 (2010)). We…

In this work in progress, we discuss independence and interpolation and related topics for classical, modal, and non-monotonic logics.

We show that invertible transformations of dynamical variables can change the number of dynamical degrees of freedom. Moreover, even in cases when the number of dynamical degrees of freedom remains unchanged, the resulting dynamics can be…

We describe differential invariants of infinite-dimensional algebras being equivalence algebras of some classes of PDE and study structure of these algebras.

The central structure in various versions of noncommutative geometry is a differential calculus on an associative algebra. This is an analogue of the calculus of differential forms on a manifold. In this short review we collect examples of…

We study the change of moduli spaces of Gieseker-semistable torsion free rank-$2$ sheaves on algebraic surfaces as we vary the polarizations. When the surfaces are rational with an effective anti-canonical divisor, the moduli spaces are…

Dynamical systems are a broad class of mathematical tools used to describe the evolution of physical and computational processes. Traditionally these processes model changing entities in a static world. Picture a ball rolling on an empty…

There are several notions of the 'dual' of a word/tile substitution. We show that the most common ones are equivalent for substitutions in dimension one, where we restrict ourselves to the case of two letters/tiles. Furthermore, we obtain…