𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Does the deduction theorem fail for modal logic?

✍ Scribed by Raul Hakli, Sara Negri

Book ID
115511170
Publisher
Springer Netherlands
Year
2011
Tongue
English
Weight
235 KB
Volume
187
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Deduction theorems for weak implicationa
Deduction theorems for weak implicational logics
✍ M. W. Bunder πŸ“‚ Article πŸ“… 1982 πŸ› Springer Netherlands 🌐 English βš– 649 KB

The standard deduction theorem or introduction rule for implication, for classical logic is also valid/or intuitiouistic logic, but just as with predicate logic, other rules of inference have to be restricted if the theorem is ~o ho14 for weaker impli. cational logics. In this paper we look in 4eta

A deduction theorem schema for deductive
A deduction theorem schema for deductive systems of propositional logics
✍ Janusz Czelakowski; WiesΕ‚aw Dziobiak πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 326 KB

We propose a new schema for the deduction theorem and prove that the deductive system S of a propositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only propositional letters p and q such that A(p, p) C\_ L and p, A(p,