𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Propositional calculus for contradictory deductive systems

✍ Scribed by Stanisław Jaśkowski

Publisher
Springer Netherlands
Year
1969
Tongue
English
Weight
828 KB
Volume
24
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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,