BIROn - Birkbeck Institutional Research Online

    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.

    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 Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Sarah Hall
    Date Deposited: 25 Jul 2013 15:21
    Last Modified: 25 Jul 2013 15:21
    URI: http://eprints.bbk.ac.uk/id/eprint/7811

    Statistics

    Downloads
    Activity Overview
    0Downloads
    140Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item