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 Faculties and Schools > Faculty of Science > School of Computing and Mathematical Sciences
    Depositing User: Szabolcs Mikulas
    Date Deposited: 06 Nov 2015 09:46
    Last Modified: 09 Aug 2023 12:37
    URI: https://eprints.bbk.ac.uk/id/eprint/13343

    Statistics

    Activity Overview
    6 month trend
    427Downloads
    6 month trend
    201Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item