Related papers: Rational semimodules over the max-plus semiring an…

Let $R$ be a commutative ring with identity and $M$ a unitary $R$-module. The purpose of this paper is to introduce the concept of semi-$n$-submodules as an extension of semi $n$-ideals and $n$-submodules. A proper submodule $N$ of $M$ is…

Let $S$ be a semiring. An $S$-semimodule $M$ is called a multiplication semimodule if for each subsemimodule $N$ of $M$ there exists an ideal $I$ of $S$ such that $N=IM$. In this paper we investigate some properties of multiplication…

In traditional justification logic, evidence terms have the syntactic form of polynomials, but they are not equipped with the corresponding algebraic structure. We present a novel semantic approach to justification logic that models…

Commutative semirings with divisible additive semigroup are studied. We show that an additively divisible commutative semiring is idempotent, provided that it is finitely generated and torsion. In case that a one-generated additively…

A number of models of linear logic are based on or closely related to linear algebra, in the sense that morphisms are "matrices" over appropriate coefficient sets. Examples include models based on coherence spaces, finiteness spaces and…

We study skew-product dynamics for a large class of finitely-generated semi--hyperbolic semigroups of rational maps acting on the Riemann sphere, which generalizes both the theory of iteration of a single rational map of a single complex…

We define a formal framework for the study of algebras of type Max-plus, Min-Plus, tropical algebras, and more generally algebras over a commutative idempotent semi-field. This work is motivated by the increasingly diversified use of these…

We use pullbacks of rings to realize the submonoids $M$ of $(\N_0\cup\{\infty\})^k$ which are the set of solutions of a finite system of linear diophantine inequalities as the monoid of isomorphism classes of countably generated projective…

We prove that for a noetherian semilocal ring $R$ with exactly $k$ isomorphism classes of simple right modules the monoid $V^*(R)$ of isomorphism classes of countably generated projective right (left) modules, viewed as a submonoid of…

In this paper we study some frames associated to an $R$-module $M$. We define semiprimitive submodules and we prove that they form an spatial frame canonically isomorphic to the topology of $Max(M)$. We characterize the soberness of…

We revisit the notion of flatness for semimodules over semirings. In particular, we introduce and study a new notion of uniformly flat semimodules based on the exactness of the tensor functor. We also investigate the relations between this…

Distributionally robust optimization is used to tackle decision making problems under uncertainty where the distribution of the uncertain data is ambiguous. Many ambiguity sets have been proposed for continuous uncertainty that build on…

We propose a framework for studying the stability of discrete-event systems modelled as switching max-plus linear systems. In this framework, we propose a set of notions of stability for generic discrete-event systems in the max-plus…

A semigroup $S$ is said to be right pseudo-finite if the universal right congruence can be generated by a finite set $U\subseteq S\times S$, and there is a bound on the length of derivations for an arbitrary pair $(s,t)\in S\times S$ as a…

Rational maps on the Riemann sphere occupy a distinguished niche in the general theory of smooth dynamical systems. First, rational maps are complex-analytic, so a broad spectrum of techniques can contribute to their study (quasiconformal…

We study the semigroup extension $\mathscr{I}_\lambda^n(S)$ of a semigroup $S$ by symmetric inverse semigroups of a bounded finite rank. We describe idempotents and regular elements of the semigroups $\mathscr{I}_\lambda^n(S)$ and…

This work discusses the reachability analysis (RA) of Max-Plus Linear (MPL) systems, a class of continuous-space, discrete-event models defined over the max-plus algebra. Given the initial and target sets, we develop algorithms to verify…

We introduce a similarity relation between submodules of a module $M$ over a ring $R$, extending the classical notion of similarity for right ideals. Focusing on (faithfully) projective modules, we establish a sharp lower bound for the…

I classify projective modules over idempotent semirings that are free on a monoid. The analysis extends to the case of the semiring of convex, piecewise-affine functions on a polyhedron, for which projective modules correspond to convex…

We consider the semiring of abstract finite dynamical systems up to isomorphism, with the operations of alternative and synchronous execution. We continue searching for efficient algorithms for solving polynomial equations of the form $P(X)…