BIROn - Birkbeck Institutional Research Online

    Lower semilattice-ordered residuated semigroups and substructural logics

    Mikulás, Szabolcs (2015) Lower semilattice-ordered residuated semigroups and substructural logics. Studia Logica 103 (3), pp. 453-478. ISSN 0039-3215.

    [img]
    Preview
    Text
    MeetLambekBiron.pdf - Author's Accepted Manuscript

    Download (381kB) | Preview

    Abstract

    We look at lower semilattice-ordered residuated semigroups and, in particular, the representable ones, i.e., those that are isomorphic to algebras of binary relations. We will evaluate expressions (terms, sequents, equations, quasi-equations) in representable algebras and give finite axiomatizations for several notions of validity. These results will be applied in the context of substructural logics.

    Metadata

    Item Type: Article
    Additional Information: The final publication is available at Springer via http://dx.doi.org/10.1007/s11225-014-9574-z
    Keyword(s) / Subject(s): Finite axiomatization, Relation algebras, Residuation, Lambek calculus, Relevance logics
    School: Birkbeck Schools and Departments > School of Business, Economics & Informatics > Computer Science and Information Systems
    Depositing User: Szabolcs Mikulas
    Date Deposited: 06 Nov 2015 09:46
    Last Modified: 28 Jul 2019 06:19
    URI: http://eprints.bbk.ac.uk/id/eprint/13343

    Statistics

    Downloads
    Activity Overview
    229Downloads
    130Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item