𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Closed-form formula on quantum factorization effectiveness

✍ Scribed by Piotr Zawadzki

Book ID
118808857
Publisher
Springer US
Year
2012
Tongue
English
Weight
201 KB
Volume
12
Category
Article
ISSN
1570-0755

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