Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q588143 |
Changed an Item |
||
| Property / reviewed by | |||
| Property / reviewed by: Osamu Sonobe / rank | |||
Normal rank | |||
Revision as of 22:56, 19 February 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
