BIROn - Birkbeck Institutional Research Online

    The equational theories of representable residuated semigroups

    Mikulás, Szabolcs (2015) The equational theories of representable residuated semigroups. Synthese 192 (7), pp. 2151-2158. ISSN 0039-7857.

    This is the latest version of this item.

    [img]
    Preview
    Text
    Mik-Synt-rev-biron.pdf - Author's Accepted Manuscript

    Download (264kB) | Preview

    Abstract

    We show that the equational theory of representable lower semilattice-ordered residuated semigroups is finitely based. We survey related results.

    Metadata

    Item Type: Article
    Keyword(s) / Subject(s): Finite axiomatizability, Relation algebras, Residuation, Free algebra
    School: Birkbeck Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Szabolcs Mikulas
    Date Deposited: 06 Nov 2015 09:50
    Last Modified: 09 Aug 2023 12:37
    URI: https://eprints.bbk.ac.uk/id/eprint/13342

    Available Versions of this Item

    Statistics

    Activity Overview
    6 month trend
    421Downloads
    6 month trend
    228Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item
    Edit/View Item