𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpreting axiomatic (decision) theory

✍ Scribed by Paul Anand

Book ID
112711953
Publisher
Springer US
Year
1990
Tongue
English
Weight
631 KB
Volume
23
Category
Article
ISSN
0254-5330

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Axiomatic Majority-Decision Logic
Axiomatic Majority-Decision Logic
✍ Larkin, John P. πŸ“‚ Article πŸ“… 1961 πŸ› Institute of Electrical and Electronics Engineers 🌐 English βš– 216 KB
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

Axiomatic Quantum Theory
Axiomatic Quantum Theory
✍ Storrs McCall πŸ“‚ Article πŸ“… 2001 πŸ› Springer Netherlands 🌐 English βš– 77 KB