Combinatory logic and the semantics of substructural logics (Q2642518)

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.