Zahn, Peter (2018)
Assertion Games to Justify Classical Reasoning.
Report, Zweitveröffentlichung, Preprint
 | Es ist eine neuere Version dieses Eintrags verfügbar. |
URL / URN: https://tuprints.ulb.tu-darmstadt.de/7545
| Typ des Eintrags: | Report |
|---|---|
| Erschienen: | 2018 |
| Autor(en): | Zahn, Peter |
| Art des Eintrags: | Zweitveröffentlichung |
| Titel: | Assertion Games to Justify Classical Reasoning |
| Sprache: | Englisch |
| Publikationsjahr: | 10 Juli 2018 |
| Ort: | Darmstadt |
| URL / URN: | https://tuprints.ulb.tu-darmstadt.de/7545 |
| Status: | Preprint |
| URN: | urn:nbn:de:tuda-tuprints-75459 |
| Zusätzliche Informationen: | Simplified and expanded version of Zahn, P.: A Normative Model of Classical Reasoning in Higher Order Languages. In: Synthese (2006) 148: 309-343. DOI: https://doi.org/10.1007/s11229-004-6225-3 |
| Sachgruppe der Dewey Dezimalklassifikatin (DDC): | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| Fachbereich(e)/-gebiet(e): | 04 Fachbereich Mathematik 04 Fachbereich Mathematik > Logik |
| Hinterlegungsdatum: | 20 Jun 2024 16:23 |
| Letzte Änderung: | 17 Okt 2024 08:58 |
| PPN: | 433463252 |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
Verfügbare Versionen dieses Eintrags
- Assertion Games to Justify Classical Reasoning. (deposited 20 Jun 2024 16:23) [Gegenwärtig angezeigt]
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum