Zahn, Peter (2018)
Assertion Games to Justify Classical Reasoning.
Report, Primary publication, Preprint
|
Text
games1.pdf Copyright Information: CC BY 4.0 International - Creative Commons, Attribution. Download (556kB) | Preview |
| Item Type: | Report |
|---|---|
| Type of entry: | Primary publication |
| Title: | Assertion Games to Justify Classical Reasoning |
| Language: | English |
| Date: | 10 July 2018 |
| Place of Publication: | Darmstadt |
| Collation: | 57 Seiten |
| Corresponding Links: | |
| Status: | Preprint |
| URN: | urn:nbn:de:tuda-tuprints-75459 |
| Additional Information: | 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. |
| Classification DDC: | 500 Science and mathematics > 510 Mathematics |
| Divisions: | 04 Department of Mathematics 04 Department of Mathematics > Logic |
| Date Deposited: | 10 Jul 2018 12:16 |
| Last Modified: | 04 Jul 2024 08:13 |
| URI: | https://tuprints.ulb.tu-darmstadt.de/id/eprint/7545 |
| PPN: | 433463252 |
| Export: |
 |
View Item |
Drucken
Impressum