✦ LIBER ✦

On the idea of a general proof theory

✍ Scribed by Dag Prawitz

Publisher: Springer Netherlands
Year: 1974
Tongue: English
Weight: 823 KB
Volume: 27
Category: Article
ISSN: 0039-7857
DOI: 10.1007/bf00660889

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On convergence proofs in system identifi

On convergence proofs in system identification – a general principle using ideas from learning theory

✍ Tor A Johansen; Erik Weyer 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 104 KB

It is shown that learning theory o ers convergence analysis tools that are useful in system identiÿcation problems. They allow analysis in a parameter-free context, which elevates the analysis from parameter sets to model sets and from parameter identiÿcation to model identiÿcation. When a parameter

On the experimental proof of the general

On the experimental proof of the general theory of electron emission from metals

✍ S.G. Christov; C.M. Vodenicharov 📂 Article 📅 1968 🏛 Elsevier Science 🌐 English ⚖ 797 KB

A unified theory of matter. I. The funda

A unified theory of matter. I. The fundamental idea

✍ Edmund A. DiMarzio 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 854 KB

On the Proof Theory of the Modal Logic G

On the Proof Theory of the Modal Logic Grz

✍ M. Borga; P. Gentilini 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 246 KB 👁 1 views

A short proof of a general multiplier ru

A short proof of a general multiplier rule

✍ A. Feinstein 📂 Article 📅 1978 🏛 Springer 🌐 English ⚖ 383 KB

A Short Proof of a Generalization on Opi

A Short Proof of a Generalization on Opial′s Inequality

✍ X.G. He 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 42 KB