Abstract
We show that there is no finitely axiomatizable class of algebras that would serve as an analogue to Kozen’s class of Kleene algebras if we include the residuals of composition in the similarity type of relation algebras.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Research supported by the Hungarian National Foundation for Scientific Research grant No. T81188.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andréka, H.: Representation of distributive lattice-ordered semigroups with binary relations. Algebra Universalis 28, 12–25 (1991)
Andréka, H., Mikulás, S.: Axiomatizability of positive algebras of binary relations. Algebra Universalis 66(1), 7–34 (2011)
Andréka, H., Mikulás, S., Németi, I.: The equational theory of Kleene lattices. Theoretical Computer Science 412, 7099–7108 (2011)
Conway, J.H.: Regular Algebra and Finite Machines. Chapman and Hall (1971)
Crvenković, S., Dolinka, I., Ésik, Z.: The variety of Kleene algebras with conversion is not finitely based. Theoretical Computer Science 230, 235–245 (2000)
Ésik, Z., Bernátsky, L.: Equational properties of Kleene algebras of relations with conversion. Theoretical Computer Science 137, 237–251 (1995)
Hirsch, R., Mikulás, S.: Positive reducts of relevance logic and algebras of binary relations. Review of Symbolic Logic 4(1), 81–105 (2011)
Jipsen, P.: From semirings to residuated Kleene lattices. Studia Logica 76(2), 291–303 (2004)
Kozen, D.: A completeness theorem for Kleene algebras and the algebra of regular events. Information and Computation 110, 366–390 (1994)
Kozen, D.: On action algebras. In: van Eijck, J., Visser, A. (eds.) Logic and Information Flow, pp. 78–88. MIT Press (1994)
Maddux, R.D.: Non-finite-axiomatizability results for cylindric and relation algebras. Journal of Symbolic Logic 54(3), 951–974 (1989)
Mikulás, S.: On representable ordered residuated semigroups. Logic Journal of the IGPL 19(1), 233–240 (2011)
Pratt, V.: Action Logic and Pure Induction. In: van Eijck, J. (ed.) JELIA 1990. LNCS, vol. 478, pp. 97–120. Springer, Heidelberg (1991)
Redko, V.N.: On defining relations for the algebra of regular events. Ukrain. Mat. Z. 16, 120–126 (1964) (in Russian)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Andréka, H., Mikulás, S., Németi, I. (2012). Residuated Kleene Algebras. In: Constable, R.L., Silva, A. (eds) Logic and Program Semantics. Lecture Notes in Computer Science, vol 7230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29485-3_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-29485-3_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29484-6
Online ISBN: 978-3-642-29485-3
eBook Packages: Computer ScienceComputer Science (R0)