The interpolation problem in finite-layered pre-Heyting logics (Q2011363)
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: The interpolation problem in finite-layered pre-Heyting logics |
scientific article; zbMATH DE number 7140978
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The interpolation problem in finite-layered pre-Heyting logics |
scientific article; zbMATH DE number 7140978 |
Statements
The interpolation problem in finite-layered pre-Heyting logics (English)
0 references
6 December 2019
0 references
finite-layered pre-Heyting logic
0 references
Craig's interpolation property
0 references
Johansson algebra
0 references
0 references
0.92944014
0 references
0.91890246
0 references
0.90939325
0 references
0 references
0.90854186
0 references
0.9082333
0 references
0.9046675
0 references
0.9045278
0 references
0.90449226
0 references
