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.

    MeetLambekBiron.pdf - Author's Accepted Manuscript

    Download (381kB) | Preview


    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.


    Item Type: Article
    Additional Information: The final publication is available at Springer via
    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


    Activity Overview
    6 month trend
    6 month trend

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item