The interpolation problem in finite-layered pre-Heyting logics (Q2011363)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The interpolation problem in finite-layered pre-Heyting logics |
scientific article |
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
