The admissibility of \(\gamma\) in R4 (Q1203779): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:31, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The admissibility of \(\gamma\) in R4 |
scientific article |
Statements
The admissibility of \(\gamma\) in R4 (English)
0 references
22 February 1993
0 references
\(R\) is the Anderson-Belnap system of relevant implication; \(NR\) extends \(R\) with a necessity operator and \(S4\)-like postulates for it. \(R4\) is the result of adding the axiom scheme \(\square(A\vee B)\to(\diamondsuit A\vee\square B)\) to \(NR\) to make a system that includes all of \(S4\). The rule \(\gamma\) is the rule of material detachment: From \(\vdash\sim A\vee B\) and \(\vdash A\), to infer \(\vdash B\). In this paper \(\gamma\) is proved admissible in \(R4\). As a corollary it follows that \(R4\) is a conservative extension of \(S4\). The proof of admissibility is by Meyer's method of metavaluations.
0 references
modal logic
0 references
relevance logic \(R4\)
0 references
conservative extension of \(S4\)
0 references
necessity operator
0 references
rule of material detachment
0 references
admissibility
0 references
metavaluations
0 references