Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach.
| Autor: | Cobreros, Pablo1 (AUTHOR), La Rosa, Elio2 (AUTHOR), Tranchini, Luca3 (AUTHOR) luca.tranchini@uni-tuebingen.de |
|---|---|
| Zdroj: | Journal of Philosophical Logic. Dec2022, Vol. 51 Issue 6, p1417-1452. 36p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|