|
|||||
|
|
Uniform interpolation and coherence |
|
| Authors: | Tomasz Kowalski George Metcalfe |
| Affiliation: | 1. Department of Mathematics and Statistics, La Trobe University, Melbourne, Australia;2. Mathematical Institute, University of Bern, Bern, Switzerland |
| Abstract: | |
| Keywords: | 03B45 03F52 08B20 03G10 08A30 06B23 Uniform interpolation Coherence Free algebras Canonical extensions Modal logics Residuated lattices |
| 本文献已被 ScienceDirect 等数据库收录！ | |