summary:We introduce the concept of a pseudo-Kleene algebra which is a non-distributive modification of a Kleene algebra introduced by J. A. Kalman [Kalman, J. A.: Lattices with involution. Trans. Amer. Math. Soc. 87 (1958), 485–491.]. Basic properties of pseudo-Kleene algebras are studied. For pseudo-Kleene algebras with a fix-point there are determined subdirectly irreducible members
A generalization of Kleene Algebras (structures with +·*, 0 and 1 operators) is considered to take i...
AbstractIn this paper we prove that the class of inversion-free Kleene algebras is not finitely base...
Abstract. We show that there is no finitely axiomatizable class of alge-bras that would serve as an ...
summary:We introduce the concept of a pseudo-Kleene algebra which is a non-distributive modification...
In this paper we study the subdirectly irreducible algebras in the variety ℳ of pseudocomplemented D...
Kleene algebras are an important class of algebraic structures that arise in diverse areas of comput...
This paper explores a strict relation between two core notions of the semantics of programs and of f...
Abstract. We consider various classes of algebras obtained by expanding idempotent semirings with me...
We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to...
We prove that an infinite (bounded) involution lattice and even pseudo-Kleene algebra can have any n...
A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the s...
Kleene algebras provide a convenient and powerful algebraic axiomatisation of a complete lattice tha...
Kleene algebras provide a convenient and powerful algebraic axiomatisation of a complete lattice tha...
quential composition, choice and nite iteration. It was rst introduced by Kleene in 1956 and further...
This paper provides an algebraic background for the formal derivation of greedy-like algorithms. Suc...
A generalization of Kleene Algebras (structures with +·*, 0 and 1 operators) is considered to take i...
AbstractIn this paper we prove that the class of inversion-free Kleene algebras is not finitely base...
Abstract. We show that there is no finitely axiomatizable class of alge-bras that would serve as an ...
summary:We introduce the concept of a pseudo-Kleene algebra which is a non-distributive modification...
In this paper we study the subdirectly irreducible algebras in the variety ℳ of pseudocomplemented D...
Kleene algebras are an important class of algebraic structures that arise in diverse areas of comput...
This paper explores a strict relation between two core notions of the semantics of programs and of f...
Abstract. We consider various classes of algebras obtained by expanding idempotent semirings with me...
We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to...
We prove that an infinite (bounded) involution lattice and even pseudo-Kleene algebra can have any n...
A Kleene lattice is a distributive lattice equipped with an antitone involution and satisfying the s...
Kleene algebras provide a convenient and powerful algebraic axiomatisation of a complete lattice tha...
Kleene algebras provide a convenient and powerful algebraic axiomatisation of a complete lattice tha...
quential composition, choice and nite iteration. It was rst introduced by Kleene in 1956 and further...
This paper provides an algebraic background for the formal derivation of greedy-like algorithms. Suc...
A generalization of Kleene Algebras (structures with +·*, 0 and 1 operators) is considered to take i...
AbstractIn this paper we prove that the class of inversion-free Kleene algebras is not finitely base...
Abstract. We show that there is no finitely axiomatizable class of alge-bras that would serve as an ...
DOI
Add to ORKG