𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A deduction theorem schema for deductive systems of propositional logics

✍ Scribed by Janusz Czelakowski; Wiesław Dziobiak

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
326 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

✦ Synopsis

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, q) ~-s q.

📜 SIMILAR VOLUMES

Evaluation of a deductive database syste
Evaluation of a deductive database system for CAD applications
✍ Toshihisa Takagi; Takahiko Suzuki; Susumu Goto; Kazuo Ushijima 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 974 KB

## Abstract In the deductive database, a large number of query processing techniques has been proposed for the efficient processing of a large amount of data. Several deductive databases actually were proposed based on those techniques. There are only few cases among those, however, where such a sy

A Labelled Deductive System for Relation
A Labelled Deductive System for Relational Semantics of the Lambek Calculus
✍ Miroslawa Kolowska-Gawiejnowicz 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 484 KB

We present a labelled version of Lambek Calculus without unit, and we use it to prove a completeness theorem for Lambek Calculus with respect to some relational semantics.

A theorem for qualitative deductions in
A theorem for qualitative deductions in organic or inorganic chemistry regarding the relative stabilities, distortions and reactions of molecules
✍ Oktay Sinanoǧlu 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 701 KB

Regardless of symmetry, the quahtative behavior of molecules, mdivlduallj or m classes, may be predicted VIS-a-~ their relative stab&ties, deformations or reactions LII a sunple plctorlal way from theu "Wlency mteraction formulas" (YlFs) by the methods presented. The VIFs. which rue somewhat more de