Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach

DSpace Repository

Higher-level Inferences in the Strong-Kleene Setting: A Proof-theoretic Approach

Author: Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca
Tübinger Autor(en):
Tranchini, Luca
Published in: Journal of Philosophical Logic (2022), Bd. 51, H. 6, S. 1417-1452
Verlagsangabe: Springer
Language: English
Full text: http://dx.doi.org/10.1007/s10992-021-09639-z
ISSN: 0022-3611
DDC Classifikation: 004 - Data processing and computer science
300 - Social sciences, sociology and anthropology
610 - Medicine and health
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)