Uniform interpolation and coherence (Q1740631)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Uniform interpolation and coherence |
scientific article |
Statements
Uniform interpolation and coherence (English)
0 references
2 May 2019
0 references
uniform interpolation
0 references
coherence
0 references
free algebras
0 references
canonical extensions
0 references
modal logics
0 references
residuated lattices
0 references
0 references
0 references
0 references
0 references
