On Interpolation in Existence Logics (Q5387875)
From MaRDI portal
scientific article; zbMATH DE number 5279558
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Interpolation in Existence Logics |
scientific article; zbMATH DE number 5279558 |
Statements
On Interpolation in Existence Logics (English)
0 references
27 May 2008
0 references
Intuitionistic logic
0 references
existence predicate
0 references
Gentzen calculus
0 references
interpolation
0 references
Beth definability
0 references
cut-elimination
0 references
Skolemization
0 references
truth-value logics
0 references
Gödel logics
0 references
Scott logics
0 references
Kripke models
0 references
