2018

Erstveröffentlichung

Preprint

Assertion Games to Justify Classical Reasoning

File(s)

Hauptpublikation

games1.pdf

CC BY 4.0 International

Format: Adobe PDF

Size: 543.11 KB

TUDa URI

URN

urn:nbn:de:tuda-tuprints-75459

DOI

10.26083/tuprints-00007545

Autor:innen

Sprache

Englisch

Fachbereich/-gebiet

04 Fachbereich Mathematik

04 Fachbereich Mathematik > Logik

DDC

500 Naturwissenschaften und Mathematik > 510 Mathematik

Institution

Universitäts- und Landesbibliothek Darmstadt

Ort

Darmstadt

PPN

Zusätzliche Infomationen

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.