You are viewing a javascript disabled version of the site. Please enable Javascript for this site to function properly.
Go to headerGo to navigationGo to searchGo to contentsGo to footer
In content section. Select this link to jump to navigation

On Finite Model Property of the Equational Theory of Kleene Algebras

Article type: Research Article

Authors: Palka, Ewa

Affiliations: Faculty of Mathematics and Computer Science, Adam Mickiewicz University of Poznań ul. Umultowska 87, 61-614 Poznań, Poland. E-mail: [email protected]

Abstract: The finite model property of the equational fragment of the theory of Kleene algebras is a consequence of Kozen's [3] completeness theorem. We show that, conversely, this completeness theorem can be proved assuming the finite model property of this fragment.

Keywords: Kleene algebras, action algebras, regular expressions, finite model property

Journal: Fundamenta Informaticae, vol. 68, no. 3, pp. 221-230, 2005

Received 13 September 2005
|
Accepted 13 September 2005
|
Published: 2005
Price: EUR 27.50
Show more