𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Instability, Modus ponens and uncertainty of deduction

✍ Scribed by Huajie Liu

Book ID
107378571
Publisher
Higher Education Press and Springer
Year
2006
Tongue
English
Weight
354 KB
Volume
1
Category
Article
ISSN
1673-3436

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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