An extension of ono's completeness result (Q3032233)
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 4130352
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | An extension of ono's completeness result |
scientific article; zbMATH DE number 4130352 |
Statements
An extension of ono's completeness result (English)
0 references
1990
0 references
intermediate predicate logic
0 references
minimum predicate extension
0 references
Kripke structures
0 references
intermediate propositional logic
0 references
semantical characterization
0 references
second slice
0 references
0.8689450621604919
0 references
0.8685150146484375
0 references
0.8185603618621826
0 references
0.8044982552528381
0 references
