𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Strict Implication, Deducibility and the Deduction Theorem

✍ Scribed by Marcus, Ruth Barcan

Year
0
Tongue
English
Weight
98 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Deduction and strict implication
Deduction and strict implication
✍ Norman M. Martin πŸ“‚ Article πŸ“… 1960 πŸ› Springer Netherlands 🌐 English βš– 335 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