𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness of the accumulation calculus

✍ Scribed by Huiqun Yu; Guoxin Song; Yongqiang Sun

Publisher
Springer
Year
1998
Tongue
English
Weight
388 KB
Volume
13
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the completeness of incidence calculu
On the completeness of incidence calculus
✍ Lusheng Wang; S. K. M. Wong; Y. Y. Yao πŸ“‚ Article πŸ“… 1996 πŸ› Springer Netherlands 🌐 English βš– 723 KB
Structural completeness of the first-ord
Structural completeness of the first-order predicate calculus
✍ W. A. Pogorzelski; T. Prucnal πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 427 KB

1. The problem of structural conipleteness of a logical system is formulated as the qiicstion about derivability in this system of all permissible and structural rules (cf. [lo]).