A Normative Model of Classical Reasoning in Higher Order Languages
Bibliographic Data
| ID | 10808876 |
|---|---|
| Authors | Peter Zahn (corresponding author) |
| Year | 2006 |
| Volume | 148 |
| Issue | 2 |
| Pages | 309-343 |
| Publication date | 2006-01-01 |
| Peer Reviewed | Yes |
| Open Access | Yes |
| Type | ARTICLE |
| Venue | Synthese (JOURNAL) |
| Journal identifiers | ISSN: 0039-7857 • E-ISSN: 1573-0964 |
| Publisher | Springer Science and Business Media LLC (PUBLISHER) |
| DOI | 10.1007/s11229-004-6225-3 |
| OpenAlex | W2056032586 |
| Language | EN |
| References cited | 6 |
Assertion · Discrete mathematics · Epistemology · Extension (predicate logic) · Metaphysics · Normative · Order (exchange) · Philosophy of language · Programming language · Set (abstract data type) · Tuple · Type (biology) · Advanced Algebra and Logic · Computer Science · Logic, programming, and type systems · Logic, Reasoning, and Knowledge · Mathematics · Philosophy
| Citation velocity | historical |
|---|---|
| Highly cited | No |