Interpolation properties for Sacchetti's logics (Q2097057)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Interpolation properties for Sacchetti's logics |
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
