Bases of admissible rules in modal logics S4.2 and S4.2Grz (Q1320690)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Bases of admissible rules in modal logics S4.2 and S4.2Grz |
scientific article; zbMATH DE number 561008
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Bases of admissible rules in modal logics S4.2 and S4.2Grz |
scientific article; zbMATH DE number 561008 |
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
