Residuated Kleene algebras
Andréka, H. and Mikulás, Szabolcs and Németi, I. (2012) Residuated Kleene algebras. In: Constable, R.L. and Silva, A. (eds.) Logic and Program Semantics. Lecture Notes in Computer Science 7230. Berlin, Germany: Springer Verlag, pp. 1-11. ISBN 9783642294853.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/978-3-642-29485-3_1
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.
Metadata
Item Type: | Book Section |
---|---|
School: | Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences |
Depositing User: | Sarah Hall |
Date Deposited: | 25 Jul 2013 15:21 |
Last Modified: | 09 Aug 2023 12:33 |
URI: | https://eprints.bbk.ac.uk/id/eprint/7811 |
Statistics
Downloads
Activity Overview
6 month trend
6 month trend
Additional statistics are available via IRStats2.