Complexity of interpolation and related problems in positive calculi (Q4532622)
From MaRDI portal
scientific article; zbMATH DE number 1749918
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of interpolation and related problems in positive calculi |
scientific article; zbMATH DE number 1749918 |
Statements
Complexity of interpolation and related problems in positive calculi (English)
0 references
2002
0 references
complexity bounds
0 references
decidable properties
0 references
positive calculi
0 references
NP-completeness
0 references
tabularity
0 references
DP-hardness
0 references
pretabularity
0 references
PSPACE-completeness
0 references
interpolation
0 references
definability
0 references
superintuitionistic calculi
0 references
