Algebraic structures, such as groups, rings and fields, provide a rigorous language for expressing symmetry and invariance in numerous mathematical contexts. Their integration with the theory of ...

Defining a composition operation on sets of formulas one obtains a manysorted algebra which satisfies the superassociative law and one more identity. This algebra is called the clone of formulas of ...

Studia Logica: An International Journal for Symbolic Logic, Vol. 98, No. 1/2, Algebras Related to Non-classical Logic (June/July 2011), pp. 307-330 (24 pages) There is a constructive method to define ...

Differential-algebraic systems, also referred to as singular systems, descriptor systems or generalized state-space systems, arise in a variety of practical systems such as chemical processes, nuclear ...

Abstract: This paper presents a numerical procedure for the reachability analysis of systems with nonlinear, semi-explicit, index-1 differential-algebraic equations. The procedure computes reachable ...