𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A geometric interpretation of logical formulae

✍ Scribed by H. Rasiowa; A. Mostowski

Publisher
Springer Netherlands
Year
1953
Tongue
English
Weight
149 KB
Volume
1
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on the normal form of closed form
A note on the normal form of closed formulas of interpretability logic
✍ Petr HΓ‘jek; VΓ­tΔ›zslav Ε vejdar πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 183 KB

Each dosed (i.e. variable f~ee) formula of interpretability logic is equivalent in ILF to a dosed formula of the provability logic G, thus to a Boolean combination of formulas of the form D ~ 3-. 1. Introduction. G stands for provability logic, i.e. for the modal propositional calculus whose axioms