Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
ReferenceBot (talk | contribs) Changed an Item |
||
| (3 intermediate revisions by 2 users not shown) | |||
| Property / reviewed by | |||
| Property / reviewed by: Osamu Sonobe / rank | |||
| Property / reviewed by | |||
| Property / reviewed by: Osamu Sonobe / rank | |||
Normal rank | |||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3950540 / rank | |||
Normal rank | |||
Latest revision as of 15:25, 22 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bases of admissible rules in modal logics S4.2 and S4.2Grz |
scientific article |
Statements
Bases of admissible rules in modal logics S4.2 and S4.2Grz (English)
0 references
18 May 1994
0 references
The author studies the admissibility of inference rules in nonclassical propositional logics. In this paper it is proved that the modal logics S4.2 and S4.2Grz have no finite bases of admissible rules, that is, there exists no finite subset of admissible rules such that all the other rules follow directly from them.
0 references
modal logics
0 references
S4.2
0 references
S4.2Grz
0 references
admissible rules
0 references
