Logics without Craig's interpolation property (Q1254250)
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: Logics without Craig's interpolation property |
scientific article; zbMATH DE number 3619891
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Logics without Craig's interpolation property |
scientific article; zbMATH DE number 3619891 |
Statements
Logics without Craig's interpolation property (English)
0 references
1978
0 references
Intermediate Propositional Logic
0 references
Craig's Interpolation Property
0 references
Superclassical Predicate Logics
0 references
Intuitionistic Mathematics
0 references
