TU Darmstadt / ULB / TUprints

Assertion Games to Justify Classical Reasoning

Zahn, Peter (2018)
Assertion Games to Justify Classical Reasoning.
Report, Primary publication, Preprint

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
Actions (login required)
View Item View Item