Results 1 
4 of
4
A completeness theorem for Kleene algebras and the algebra of regular events
 Information and Computation
, 1994
"... We givea nitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa's axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras. 1 ..."
Abstract

Cited by 188 (23 self)
 Add to MetaCart
We givea nitary axiomatization of the algebra of regular events involving only equations and equational implications. Unlike Salomaa's axiomatizations, the axiomatization given here is sound for all interpretations over Kleene algebras. 1
Algebraic logic, varieties of algebras, and algebraic varieties
, 1995
"... Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could ..."
Abstract

Cited by 13 (5 self)
 Add to MetaCart
Abstract. The aim of the paper is discussion of connections between the three kinds of objects named in the title. In a sense, it is a survey of such connections; however, some new directions are also considered. This relates, especially, to sections 3, 4 and 5, where we consider a field that could be understood as an universal algebraic geometry. This geometry is parallel to universal algebra. In the monograph [51] algebraic logic was used for building up a model of a database. Later on, the structures arising there turned out to be useful for solving several problems from algebra. This is the position which the present paper is written from.
1 I. NOTATION
, 2006
"... The aim of this paper is to present a solution of the problem 32 posed by K. Denecke and S.L. Wismath in their book [15]. ..."
Abstract
 Add to MetaCart
The aim of this paper is to present a solution of the problem 32 posed by K. Denecke and S.L. Wismath in their book [15].
Previous Up Next Article Citations From References: 3 From Reviews: 0
"... Completeness theorems for universal and implicational logics of algebras via congruences. ..."
Abstract
 Add to MetaCart
Completeness theorems for universal and implicational logics of algebras via congruences.