𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Formalization of a normalization theorem in simplicial topology

✍ Scribed by Laureano Lambán, Francisco-Jesús Martín–Mateos, Julio Rubio, José-Luis Ruiz–Reina

Book ID
113060744
Publisher
Springer Netherlands
Year
2012
Tongue
English
Weight
605 KB
Volume
64
Category
Article
ISSN
1012-2443

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A formalization of Sambins's normalizati
A formalization of Sambins's normalization for GL
✍ Edward Hermann Haeusler; Luiz Carlos Pereira 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 529 KB

## Abstract Sambin [6] proved the normalization theorem (Hauptsatz) for GL, the modal logic of provability, in a sequent calculus version called by him GLS. His proof does not take into account the concept of reduction, commonly used in normalization proofs. Bellini [1], on the other hand, gave a n