Lyndon’s interpolation property for the logic of strict implication (Q5066799)
From MaRDI portal
scientific article; zbMATH DE number 7500471
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Lyndon’s interpolation property for the logic of strict implication |
scientific article; zbMATH DE number 7500471 |
Statements
Lyndon’s interpolation property for the logic of strict implication (English)
0 references
30 March 2022
0 references
Lyndon's interpolation
0 references
Craig's interpolation
0 references
subintuitionistic logic
0 references
sequent calculus
0 references
cut elimination
0 references
Gödel-translation
0 references
