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

DSpace Repositorium (Manakin basiert)

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

Autor(en): Cobreros, Pablo; La Rosa, Elio; Tranchini, Luca
Tübinger Autor(en):
Tranchini, Luca
Erschienen in: Journal of Philosophical Logic (2022), Bd. 51, H. 6, S. 1417-1452
Verlagsangabe: Springer
Sprache: Englisch
Referenz zum Volltext: http://dx.doi.org/10.1007/s10992-021-09639-z
ISSN: 0022-3611
DDC-Klassifikation: 004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie
610 - Medizin, Gesundheit
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: