All a b c d e f g h i j k l m n o p q r s t u v w x y z Other

Previous Page 117 Next

Displaying 2321 – 2340 of 3021

Showing per page

Solving algebraic equations using coalgebra

Federico De Marchi, Neil Ghani, Christoph Lüth (2003)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing is prohibited. It has been known for some time that algebraic systems in Greibach Normal Form have unique solutions. This paper presents a categorical approach to algebraic systems of equations which generalizes the traditional approach in two ways i) we define algebraic equations for locally finitely presentable...

Solving Algebraic Equations Using Coalgebra

Federico De Marchi, Neil Ghani, Christoph Lüth (2010)

RAIRO - Theoretical Informatics and Applications

Algebraic systems of equations define functions using recursion where parameter passing is permitted. This generalizes the notion of a rational system of equations where parameter passing is prohibited. It has been known for some time that algebraic systems in Greibach Normal Form have unique solutions. This paper presents a categorical approach to algebraic systems of equations which generalizes the traditional approach in two ways i) we define algebraic equations for locally finitely presentable ...

Some properties of epimorphisms of Hilbert algebras

Dumitru Buşneag, Mircea Ghiţă (2010)

Open Mathematics

This paper represents a start in the study of epimorphisms in some categories of Hilbert algebras. Even if we give a complete characterization for such epimorphisms only for implication algebras, the following results will make possible the construction of some examples of epimorphisms which are not surjective functions. Also, we will show that the study of epimorphisms of Hilbert algebras is equivalent with the study of epimorphisms of Hertz algebras.

Some properties of Lorenzen ideal systems

Aleka Kalapodi, Angeliki Kontolatou, Jiří Močkoř (2000)

Archivum Mathematicum

Let G be a partially ordered abelian group ( p o -group). The construction of the Lorenzen ideal r a -system in G is investigated and the functorial properties of this construction with respect to the semigroup ( R ( G ) , ⊕ , ≤ ) of all r -ideal systems defined on G are derived, where for r , s ∈ R ( G ) and a lower bounded subset X ⊆ G , X r ⊕ s = X r ∩ X s . It is proved that Lorenzen construction is the natural transformation between two functors from the category of p o -groups with special morphisms into the category of abelian ordered semigroups.

Currently displaying 2321 – 2340 of 3021