相关论文: Dynamical properties of logical substitutions

We analyse the dynamical properties of disformally transformed theories of gravity. We show that disformal transformation typically introduces novel degrees of freedom, equivalent to the mimetic dark matter, which possesses a Weyl-invariant…

We prove some properties of analytic multiplicative and sub-multiplicative cocycles. The results allow to construct natural invariant analytic sets associated to complex dynamical systems.

The symmetry properties of the dynamical matrix are well described in multiple classic textbooks. This short paper revisits the issue to demonstrate alternative form of dynamical matrix which explicitly shows its symmetry and reality in…

The axiomatic theory of ordinary differential equations, owing to its simplicity, can provide a useful framework to describe various generalizations of dynamical systems. In this study, we consider how dynamical properties can be…

We develop a linear-algebraic framework for dimensional analysis in systems with constraints, particularly when variables are numerous or related by implicit relations so that direct elimination is impractical. By expressing both…

In Pure Inductive Logic, the principle of Strong Predicate Exchangeability is a rational principle based on symmetry that sits in between the principles of Predicate Exchangeability and Atom Exchangeability. We will show a de Finetti -…

Using the theory of coalgebra, we introduce a uniform framework for adding modalities to the language of propositional geometric logic. Models for this logic are based on coalgebras for an endofunctor on some full subcategory of the…

In biological and synthetic materials, many important processes involve charges that are present in a medium with spatially varying dielectric permittivity. To accurately understand the role of electrostatic interactions in such systems, it…

The purpose of this paper is to introduce an algebraic cohomology and formal deformation theory of left alternative algebras. Connections to some other algebraic structures are given also.

We consider linear dynamical systems with a structure of a multigraph. The vertices are associated to linear spaces and the edges correspond to linear maps between those spaces. We analyse the asymptotic growth of trajectories (associated…

In this paper, we study arithmetic dynamics in arbitrary characteristic, in particular in positive characteristic. We generalise some basic facts on arithmetic degree and canonical height in positive characteristic. As applications, we…

The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of…

We study differential invariants of linear differential operators and use them to find conditions for equivalence of differential operators acting in line bundles over smooth manifolds with respect to groups of authomorphisms.

We introduce a complete many-valued semantics for two normal lattice-based modal logics. This semantics is based on reflexive many-valued graphs. We discuss an interpretation and possible applications of this logical framework in the…

We propose a new formalization of legal competences, and in particular for the Hohfeldian categories of power and immunity, through a deontic reinterpretation of dynamic epistemic logic. We argue that this logic explicitly captures the…

This article is devoted to the tactical game theoretical interpretation of dialectics. Dialectical games are considered as abstractly as well as models of the internal dialogue and reflection. The models related to the representation theory…

This paper surveys the recent advances in the interactions between symbolic dynamics and C*-algebras. We explain how conjugacies and orbit equivalences of both two-sided (invertible) and one-sided (noninvertible) symbolic systems may be…

We study some classes of semi-linear differential equations including both well-posed and ill-posed cases that can generate cocycles (or cocycle correspondences with generating cocycles). Under exponential dichotomy condition with other…

We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient…

In arXiv: math.LO/0011208 we proposed the {\sl intuitionistic or disjunctive representation of quantum logic}, i.e., a representation of the property lattice of physical systems as a complete Heyting algebra of logical propositions on these…