𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new axiomatization of unified quantum logic

✍ Scribed by M. Pavičić

Publisher
Springer
Year
1992
Tongue
English
Weight
681 KB
Volume
31
Category
Article
ISSN
0020-7748

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A note on the interpretability logic of
A note on the interpretability logic of finitely axiomatized theories
✍ Maarten Rijke 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 481 KB

Ill [6] Albert Visser shows that ILP completely axiomatizes all schemata about provabihty and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ~ that completely axiomatizes the arithmetically valid principles of provability