Hierarchical semantics for relevant logics (Q1206806): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q591019 |
||
Property / reviewed by | |||
Property / reviewed by: Martin W. Bunder / rank | |||
Revision as of 02:55, 20 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Hierarchical semantics for relevant logics |
scientific article |
Statements
Hierarchical semantics for relevant logics (English)
0 references
1 April 1993
0 references
It is well known that a weak characterization of the relevance of a logic \(L\) is: whenever \(\lvdash_ L A\to B,A\) and \(B\) share a variable. In an earlier paper the author introduced a stronger ``depth relevance condition'' that requires that such a shared variable appear at the same depth in \(A\) as in \(B\). This depth counts the depth of \(\to s\) and not that of any other connective. In this paper the author introduces a ``hierarchical'' semantics based on this new condition. This is applicable to those logics to which the Routley-Meyer semantics could be applied, as well as to several weaker logics. Soundness and Completeness are proved. The author comments that there is little prospect of applying other styles of hierarchical semantics to logics that contain contraction or hypothetical syllogism principles.
0 references
depth relevance condition
0 references
relevance of a logic
0 references
shared variable
0 references
Soundness
0 references
Completeness
0 references
hierarchical semantics
0 references