SZodixStudyAcademic Library

Shelves Open access

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

Proof Theory and Meaning · Study

ChapterShelves

ChapterProof Theory and Meaning

Unknown author1986

Chapter1986

Proof Theory and Meaning

Unknown author

193 citations·0/0 files stored·Springer eBooks

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

Syntax, Semantics, Linguistic Variation Logic, Reasoning, and Knowledge Philosophy, Science, and History

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 — 193 citations exist upstream.

References

2001Inquiries into Truth and Interpretation 1963Logic, Methodology and Philosophy of Science.1967Truth and meaning 1978Truth and other enigmas 1967Truth and Meaning 1934An Introduction to Logic and Scientific Method.1960The Runabout Inference-Ticket 1934An Introduction to Logic and Scientific Method

Cited by

2005Records and Record Types in Semantic Theory 2005Austinian Truth, Attitudes and Type Theory 2001Conservative Generalized Quantifiers and Presupposition 2015Individuation Criteria, Dot-types and Copredication: A View from Modern Type Theories 2012Predicate Logic with Anaphora 1997Dynamics 2014Representing Anaphora with Dependent Types 2008

Related works

Explore the map →

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

2002Proof Theory and Meaningchapter · 8 shared references 2011Game Semantics and the Manifestation Thesischapter · 5 shared references 2002Truth or Meaning? A Question of Priorityarticle · 4 shared references 2014I—Ian Rumfitt: Truth and Meaningarticle · 4 shared references 2006Conventionalism: From Poincare to Quinebook · 4 shared references 2007Eligibility and Inscrutabilityarticle · 3 shared references

Details

Year1986

Typechapter

Published1986-01-01

VenueSpringer eBooks

Languageen

Citations193

Files0 public / 0

ShelfSyntax, Semantics, Linguistic Variation

Identifiers

doi10.1007/978-94-009-5203-4_8

openalex_workW2125151981

Links

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

From Games to Dialogues and Back: Towards a General Frame for Validity