✦ LIBER ✦

Proof-Theoretic Reduction As A Philosopher's Tool

✍ Scribed by Thomas Hofweber

Book ID: 110228036
Publisher: Springer
Year: 2000
Tongue: English
Weight: 70 KB
Volume: 53
Category: Article
ISSN: 1876-2514
DOI: 10.1023/a:1005670319780

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On Reduction Rules, Meaning-as-use, and

On Reduction Rules, Meaning-as-use, and Proof-theoretic Semantics

✍ Ruy J. G. B. de Queiroz 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 306 KB

Translation as a Tool of Philosophical A

Translation as a Tool of Philosophical Analysis

✍ Rescher, Nicholas 📂 Fiction 📅 0 🌐 English ⚖ 188 KB

A graph-theoretic proof of Arrow's Dicta

A graph-theoretic proof of Arrow's Dictator Theorem

✍ K.K. Nambiar; Pramod K. Varma; Vandana Saroch 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 100 KB

A semigroup-theoretic proof of Poisson's

A semigroup-theoretic proof of Poisson's limit law

✍ D. Pfeifer 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 100 KB

A Brauer Algebra Theoretic Proof of Litt

A Brauer Algebra Theoretic Proof of Littlewood's Restriction Rules

✍ Fabio Gavarini 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 278 KB

Let U be a complex vector space endowed with an orthogonal or symplectic Ž . Ž form, and let G be the subgroup of GL U of all the symmetrics of this form resp. . In this paper we give a new representation-G theoretic proof of this formula: realizing M in a tensor power U m f and using Schur's duali

Sherlock Holmes's skills as a philosophe

Sherlock Holmes's skills as a philosopher? Elementary

✍ Beaman, Philip 📂 Article 📅 2007 🏛 Nature Publishing Group 🌐 English ⚖ 80 KB