Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (Q5932613): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Equations in free topoboolean algebra / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Pretabular extensions of Lewis S4 / rank | |||
Normal rank | |||
Revision as of 17:26, 3 June 2024
scientific article; zbMATH DE number 1603249
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inference rules with metavariables and logical equations in the pretabular modal logic PM1 |
scientific article; zbMATH DE number 1603249 |
Statements
Inference rules with metavariables and logical equations in the pretabular modal logic PM1 (English)
0 references
10 June 2001
0 references
It is known that there exist only 5 pretabular extensions (P1--P5) of the logic S4 [see \textit{L. L. Maksimova}, Algebra Logic 14, No. 1, 16-33 (1975); translation from Algebra Logika 14, No. 1, 28-55 (1975; Zbl 0319.02019)]. The author establishes an admissibility criterion for inference rules with metavariables for the logic PM1.
0 references
modal logic
0 references
inference rule
0 references
admissible reference rule
0 references
