𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Hauptsatz for Stratified Comprehension: A Semantic Proof

✍ Scribed by Marcel Crabbé

Publisher
John Wiley and Sons
Year
1994
Tongue
English
Weight
459 KB
Volume
40
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

A simple proof for the matrix-geometric
A simple proof for the matrix-geometric theorem
✍ Latouche, Guy 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 239 KB 👁 2 views

## Abstract For block‐partitioned matrices of the __GI/M/__1 type, it has been shown by M. F. Neuts that the stationary probability vector, when it exists, has a matrix‐geometric form. We present here a new proof, which we believe to be the simplest available today.

The Semantic Web: More than a Vision
The Semantic Web: More than a Vision
✍ Jane Greenberg 📂 Article 📅 2005 🏛 American Society for Information Science and Techn 🌐 English ⚖ 68 KB 👁 2 views

## Special Section O ur dependence on World Wide Web (Web) technology for information, communication and services grows daily. Consider the slightly frantic behaviors people often exhibit when they are unable to access the Web for an extended period of time. Of course there is the other side -a br