A Descending Chain of Incomplete Extensions of Implicational S 5 (Q3698776)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 3922619
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Descending Chain of Incomplete Extensions of Implicational S 5 |
scientific article; zbMATH DE number 3922619 |
Statements
A Descending Chain of Incomplete Extensions of Implicational S 5 (English)
0 references
1985
0 references
modal logic
0 references
strict implicational propositional logic
0 references
incompleteness
0 references
axiom systems
0 references
strict implicational fragment C5 of S5
0 references
characteristic matrix
0 references
0.8805955648422241
0 references
0.8805955648422241
0 references
0.7461626529693604
0 references
0.736758828163147
0 references
