Generalised graded interpolation (Q2105608)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Generalised graded interpolation |
scientific article |
Statements
Generalised graded interpolation (English)
0 references
8 December 2022
0 references
graded consequence
0 references
institution theory
0 references
many-valued truth
0 references
interpolation
0 references
definability
0 references
Robinson consistency
0 references
