Interpolation properties for Sacchetti's logics (Q2097057)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Interpolation properties for Sacchetti's logics |
scientific article |
Statements
Interpolation properties for Sacchetti's logics (English)
0 references
11 November 2022
0 references
Sacchetti's logic
0 references
Lyndon interpolation property
0 references
effective fixed-point theorem
0 references
