𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A procedural semantics for stratified database updates

✍ Scribed by Weidong Chen; Julie Yu-Chih Liu

Book ID
110380220
Publisher
Springer Netherlands
Year
1997
Tongue
English
Weight
500 KB
Volume
21
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

The Hauptsatz for Stratified Comprehensi
The Hauptsatz for Stratified Comprehension: A Semantic Proof
✍ Marcel CrabbΓ© πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 459 KB

## Abstract We prove the cut‐elimination theorem, Gentzen's Hauptsatz, for the system for stratified comprehension, i. e. Quine's NF minus extensionality. Mathematics Subject Classification: 03B15, 03F05.