Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
| Authors | |
|---|---|
| Publication date | 2000 |
| Journal | Annals of Pure and Applied Logic |
| Volume | Issue number | 104 |
| Pages (from-to) | 97-112 |
| Number of pages | 16 |
| Organisations |
|
| Document type | Article |
| Published at | https://doi.org/10.1016/S0168-0072(00)00009-9 |
| Permalink to this page | |