✦ LIBER ✦

On the Scope of the Classical Deduction Theorem

✍ Scribed by Witold A. Pogorzelski

Book ID: 124959003
Publisher: Association for Symbolic Logic
Year: 1968
Tongue: English
Weight: 485 KB
Volume: 33
Category: Article
ISSN: 0022-4812
DOI: 10.2307/2270054

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the Scope of the Classical Deduction

On the Scope of the Classical Deduction Theorem.by Witold A. Pogorzelski

✍ Review by: Mircea Tîrnoveanu 📂 Article 📅 1975 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB

Classical mechanics — on the deduction o

Classical mechanics — on the deduction of Lagrange's equations

✍ Cortizo, S.F. 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 683 KB

A semantical proof of the strong normali

A semantical proof of the strong normalization theorem for full propositional classical natural deduction

✍ Karim Nour; Khelifa Saber 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 150 KB

ON THE CLASSICAL CONVERGENCE THEOREM

✍ Eiji Hosoda 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 590 KB

On weakening the Deduction Theorem and s

On weakening the Deduction Theorem and strengthening Modus Ponens

✍ Félix Bou; Josep Maria Font; José Luis García Lapresta 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 284 KB

## Abstract This paper studies, with techniques of Abstract Algebraic Logic, the effects of putting a bound on the cardinality of the set of side formulas in the Deduction Theorem, viewed as a Gentzen‐style rule, and of adding additional assumptions inside the formulas present in Modus Ponens, view

On the classical Tauberian theorems

✍ William Feller 📂 Article 📅 1963 🏛 Springer 🌐 English ⚖ 245 KB