𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Double Deduction System for Quantum Logic Based On Natural Deduction

✍ Scribed by Yannis Delmas-Rigoutsos

Book ID
110367458
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
152 KB
Volume
26
Category
Article
ISSN
0022-3611

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,

A system of natural deduction for GL
A system of natural deduction for GL
✍ Gianluigi Bellin πŸ“‚ Article πŸ“… 2008 πŸ› Wiley (Blackwell Publishing) 🌐 English βš– 783 KB