𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On the completeness of incidence calculus

✍ Scribed by Lusheng Wang; S. K. M. Wong; Y. Y. Yao


Publisher
Springer Netherlands
Year
1996
Tongue
English
Weight
723 KB
Volume
16
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Structural completeness of the first-ord
✍ 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]).