SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Proof-Theoretic Reduction As A Philosopher's Tool · Study

ArticleShelves

ArticleProof-Theoretic Reduction As A Philosopher's Tool

Thomas Hofweber2000

OA

Articlegreen2000

Proof-Theoretic Reduction As A Philosopher's Tool

Thomas Hofweber

15 citations·0/0 files stored·Erkenntnis

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Philosophy, Science, and History Logic, programming, and type systems Philosophy and History of Science

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 15 citations exist upstream.

References

1995A platonist epistemology 1995Naturalized Platonism Versus Platonized Naturalism

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2021Ontology and Arbitrarinessarticle · 2 shared references 2012Morality and Mathematics: The Evolutionary Challengearticle · 1 shared reference 2020Morality and Mathematicsbook · 1 shared reference 2010THE RELIABILITY CHALLENGE AND THE EPISTEMOLOGY OF LOGICarticle · 1 shared reference 2001Theory Change and the Indeterminacy of Referencechapter · 1 shared reference 2016Towards Non-Beingbook · 1 shared reference

Details

Year2000

Typearticle

Published2000-09-01

VenueErkenntnis

ISSN-L0165-0106

Languageen

Citations15

Files0 public / 0

ShelfPhilosophy, Science, and History

Identifiers

doi10.1023/a:1005670319780

openalex_workW1589780159

Links

Imported from OpenAlex (CC0) — nothing here is generated.