Combinatory logic and the semantics of substructural logics (Q2642518)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 5179921
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Combinatory logic and the semantics of substructural logics |
scientific article; zbMATH DE number 5179921 |
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.8501079678535461
0 references
0.8403480648994446
0 references
