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