Related papers: Dynamical properties of logical substitutions

This article describes recent work on the topic of specifying properties of transition systems. By giving a suitably abstract description of transition systems as coalgebras, it is possible to derive logics for capturing properties of these…

We calculate the influence of dynamical exchange effects on the response properties and the static properties of a two-dimensional many-polaron gas. These effects are not manifested in the random-phase approximation which is widely used in…

We find an order-theoretic characterization of the Lindenbaum algebra of intuitionistic propositional logic in n variables.

Differentially-algebraic (D-algebraic) functions are solutions of polynomial equations in the function, its derivatives, and the independent variables. We revisit closure properties of these functions by providing constructive proofs. We…

We provide a survey of results from symbolic dynamics and algebraic topology relating to Grout, a new user-friendly program developed to calculate combinatorial properties and topological invariants of a large class of symbolic…

In this article we prove several reciprocity theorems for some infinite-dimensional dual pairs of representations on Bargmann-Segal-Fock spaces.

We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation theorems.

Real world systems of interest often feature interactions between discrete and continuous dynamics. Various hybrid system formalisms have been used to model and analyze this combination of dynamics, ranging from mathematical descriptions,…

This paper is a survey of our recent work on operator algebras associated to dynamical systems that lead to classification results for the systems in terms of algebraic invariants of the operator algebras.

Intuitionistic logic extended with decidable propositional atoms combines classical properties in its propositional part and intuitionistic properties for derivable formulas not containing propositional symbols. Sequent calculus is used as…

In this paper we propose a many-valued temporal conditional logic. We start from a many-valued logic with typicality, and extend it with the temporal operators of the Linear Time Temporal Logic (LTL), thus providing a formalism which is…

Differential graded (DG) algebras are powerful tools from rational homotopy theory. We survey some recent applications of these in the realm of homological commutative algebra.

We give an introduction to logic tailored for algebraists, explaining how proofs in linear logic can be viewed as algorithms for constructing morphisms in symmetric closed monoidal categories with additional structure. This is made explicit…

The use of the properties of actions on an algebra to enrich the study of the algebra is well-trodden and still fashionable. Here, the notion and study of endomorphic elements of (Banach) algebras are introduced. This study is initiated, in…

Motivated by applications in moduli theory, we introduce a flexible and powerful language for expressing lower bounds on relative dimension of morphisms of schemes, and more generally of algebraic stacks. We show that the theory is robust…

Logical formalisms provide a natural and concise means for specifying and reasoning about preferences. In this paper, we propose lexicographic logic, an extension of classical propositional logic that can express a variety of preferences,…

We introduce a novel real-valued endogenous logic for expressing properties of probabilistic transition systems called Riesz modal logic. The design of the syntax and semantics of this logic is directly inspired by the theory of Riesz…

In this article, we are interested in endomorphism's impact on the commutativity of a Banach algebra. Our research uses a topological approach, drawing on specific results from functional analysis and algebraic techniques.\;Also, we provide…

In this article we introduce Variable exponent Fock spaces and study some of their basic properties such as the boundedness of evaluation functionals, density of polynomials, boundedness of a Bergman-type projection and duality.

The paper is a colloquial-style discussion of invariants of algebraic surfaces analogous to the Donaldson polynomials, arising from moduli spaces of ``jumping'' Yang--Mills instantons, or moduli spaces of jumping vector bundles. The…