Combinatory logic and the semantics of substructural logics (Q2642518)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Combinatory logic and the semantics of substructural logics
scientific article

    Statements

    Combinatory logic and the semantics of substructural logics (English)
    0 references
    17 August 2007
    0 references
    In his earlier paper ``Combinator logics'' [ibid. 76, No. 1, 17--66 (2004; Zbl 1054.03019)] the author extended the positive relevance logic Bo, with and, or and o (fusion) by o-axioms related to the reduction rules of a set of combinators. He then extended the Routley-Meyer semantics to this extended logic. In this paper, the relevant logic BoT (Bo with a ``true'' T) is extended by adding axioms that are the types of a set of combinators. He again extends the Routley-Meyer semantics, in a way determined by the combinators, to one that is sound and complete for the extended logical system.
    0 references
    combinators
    0 references
    Routley-Meyer semantics
    0 references
    relevant logics
    0 references
    0 references

    Identifiers