A PROOF-THEORETIC INTERPOLATION THEOREM FOR INQUISITIVE PROPOSITIONAL LOGIC.
Saved in:
| Title: | A PROOF-THEORETIC INTERPOLATION THEOREM FOR INQUISITIVE PROPOSITIONAL LOGIC. |
|---|---|
| Authors: | Fjellstad, Andreas1 afjellstad@gmail.com |
| Source: | Bulletin of the Section of Logic. Mar2026, Vol. 55 Issue 1, p49-70. 22p. |
| Database: | Academic Search Ultimate |
| ISSN: | 01380680 |
|---|---|
| DOI: | 10.18778/0138-0680.2026.02 |